Category:Formal Systems

From ProofWiki

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 12 subcategories, out of 12 total.

A

Axiom Schemata‎ (2 P)

C

Collations‎ (7 C, 4 P)

D

Definitional Abbreviations‎ (1 P)

F

Formal Languages‎ (8 C, 5 P)
Formal Semantics‎ (1 C, 29 P)

I

Independent Axioms‎ (empty)

L

Logistic Systems‎ (2 C)

M

Metasymbols‎ (empty)

O

Operations‎ (1 C, 2 P)

P

Proof Systems‎ (9 C, 5 P)

R

Rules of Formation‎ (1 C)

S

Sets of Finite Strings‎ (1 C, 2 P)

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