Category:Definitions/Formal Systems

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Formal Systems.
Related results can be found in Category:Formal Systems.

A formal system is a formal language $\LL$ together with a deductive apparatus for $\LL$.


This category has the following 11 subcategories, out of 11 total.