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 9 subcategories, out of 9 total.
Pages in category "Definitions/Formal Systems"
The following 35 pages are in this category, out of 35 total.