Category:Definitions/Formal Systems
This category contains definitions related to Formal Systems.
Related results can be found in Category:Formal Systems.
A formal system is a formal language $\mathcal L$ together with a deductive apparatus for $\mathcal L$.
Subcategories
This category has the following 7 subcategories, out of 7 total.
A
F
L
O
Pages in category "Definitions/Formal Systems"
The following 151 pages are in this category, out of 151 total.
A
B
- Definition:Backus-Naur Form
- Definition:Backus-Naur Form/Alphabet
- Definition:Backus-Naur Form/Non-Terminal
- Definition:Backus-Naur Form/Rules of Formation
- Definition:Backus-Naur Form/Specification
- Definition:Backus-Naur Form/Terminal
- Definition:Bottom-Up
- Definition:Bottom-Up Form of Top-Down Grammar
- Definition:Bottom-Up Grammar
C
- Definition:Collation
- Definition:Collation System
- Definition:Collation/Collation System
- Definition:Collation/Unique Readability
- Definition:Complete Proof System
- Definition:Complete Proof System/Strongly Complete
- Definition:Concatenation (Formal Systems)
- Definition:Consistent
- Definition:Consistent Proof System
- Definition:Consistent Set of Formulas
- Definition:Consistent/Proof System
- Definition:Consistent/Proof System/Propositional Logic
- Definition:Consistent/Proof System/Propositional Logic/Definition 1
- Definition:Consistent/Proof System/Propositional Logic/Definition 2
- Definition:Consistent/Set of Formulas
- Definition:Consistent/Set of Formulas/Propositional Logic
- Definition:Consistent/Set of Formulas/Propositional Logic/Definition 1
- Definition:Consistent/Set of Formulas/Propositional Logic/Definition 2
- Definition:Constant Symbol
D
F
- Definition:Falsifiable/Boolean Interpretations
- Definition:Fibonacci String
- Definition:Finite String
- Definition:Formal Grammar
- Definition:Formal Grammar/Bottom-Up
- Definition:Formal Grammar/Bottom-Up/Extremal Clause
- Definition:Formal Grammar/Top-Down
- Definition:Formal Language
- Definition:Formal Language/Alphabet
- Definition:Formal Language/Alphabet/Letter
- Definition:Formal Language/Alphabet/Letter/Vocabulary
- Definition:Formal Language/Alphabet/Primitive Symbol
- Definition:Formal Language/Alphabet/Sign
- Definition:Formal Proof
- Definition:Formal Semantics
- Definition:Formal Semantics of Boolean Interpretations
- Definition:Formal Semantics of Structures for Predicate Logic
- Definition:Formal System
- Definition:Function Symbol
I
L
M
P
- Definition:Parsing Sequence
- Definition:Polish Notation/Formal Definition
- Definition:Pre-Order Traversal of Labeled Tree
- Definition:Predicate Symbol
- Definition:Primitive Symbol
- Definition:Proof System
- Definition:Proof System of Propositional Tableaus
- Definition:Proof System/Formal Proof
- Definition:Proof System/Rule of Inference
- Definition:Proper Subformula
- Definition:Proper Well-Formed Part
- Definition:Provable Consequence
- Definition:Provable Equivalence
R
S
- Definition:Scope of Occurrence
- Definition:Sign (Formal Systems)
- Definition:Sign (Mathematical Theory)
- Definition:Signature (Logic)
- Definition:Sound Proof System
- Definition:Sound Proof System/Strongly Sound
- Definition:Specific Sign (Mathematical Theory)
- Definition:String
- Definition:String/Finite
- Definition:String/Infinite
- Definition:Strongly Complete Proof System
- Definition:Strongly Sound Proof System
- Definition:Structure for Formal Semantics
- Definition:Structure for Predicate Logic
- Definition:Subformula
- Definition:Substitution (Formal Systems)
- Definition:Substitution (Formal Systems)/Letter
- Definition:Substitution (Formal Systems)/Metasymbol
- Definition:Substitution (Formal Systems)/Notation
- Definition:Substitution (Formal Systems)/Term
- Definition:Substitution (Formal Systems)/Term/In WFF
- Definition:Substitution (Formal Systems)/Well-Formed Part
- Definition:Substitution (Formal Systems)/Well-Formed Part/Example
- Definition:Substitution for Letter
- Definition:Substitution for Metasymbol
- Definition:Substitution for Well-Formed Part
- Definition:Substitution Instance
- Definition:Substring
- Definition:Symbolic Logic
- Definition:Syntax
