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

A

Axiom Schemata‎ (2 P)

C

Collations‎ (10 C, 4 P)
Complete Logistic Systems‎ (empty)

D

Definitional Abbreviations‎ (1 P)

F

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

I

Independent Axioms‎ (empty)

L

Logistic Systems‎ (4 C)

M

Metalanguages‎ (1 C)
Metasymbols‎ (1 C)

O

Operations‎ (5 C, 2 P)

P

Proof Systems‎ (11 C, 5 P)

R

Rules of Formation‎ (1 C)

S

Sets of Finite Strings‎ (1 C, 2 P)
Sound Logistic Systems‎ (1 C)
Syntax‎ (empty)

W

Words (Formal Systems)‎ (empty)

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