Category:Formal Systems
Jump to navigation
Jump to search
This category contains results about Formal Systems.
Definitions specific to this category can be found in Definitions/Formal Systems.
A formal system is a formal language $\LL$ together with a deductive apparatus for $\LL$.
Subcategories
This category has the following 11 subcategories, out of 11 total.
A
- Axiom Schemata (2 P)
C
D
- Definitional Abbreviations (1 P)
F
I
- Independent Axioms (empty)
M
- Metasymbols (empty)