Category:Definitions/Formal Systems
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$.
Subcategories
This category has the following 8 subcategories, out of 8 total.
Pages in category "Definitions/Formal Systems"
The following 33 pages are in this category, out of 33 total.