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$.

Subcategories

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

A

Definitions/Axioms‎ (9 P)

C

Definitions/Collations‎ (3 C, 35 P)

F

Definitions/Formal Languages‎ (6 C, 54 P)
Definitions/Formal Semantics‎ (1 C, 69 P)

P

Definitions/Proof Systems‎ (2 C, 55 P)

S

Definitions/Sets of Finite Strings‎ (2 P)

Pages in category "Definitions/Formal Systems"

The following 26 pages are in this category, out of 26 total.

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Definitions/Formal_Systems&oldid=355758"