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 17 subcategories, out of 17 total.
A
- Axiom Schemata (2 P)
C
- Complete Logistic Systems (empty)
D
- Definitional Abbreviations (1 P)
F
I
- Independent Axioms (empty)
L
M
O
P
R
S
- Syntax (empty)
W
- Words (Formal Systems) (empty)