Category:Formal Semantics
Jump to navigation
Jump to search
This category contains results about Formal Semantics.
Definitions specific to this category can be found in Definitions/Formal Semantics.
A formal semantics for $\LL$ comprises:
Often, a formal semantics provides these by using a lot of auxiliary definitions.
Pages in category "Formal Semantics"
The following 29 pages are in this category, out of 29 total.
C
- Definition:Constructed Semantics/Instance 1/Factor Principle
- Definition:Constructed Semantics/Instance 1/Rule of Addition
- Definition:Constructed Semantics/Instance 1/Rule of Commutation
- Definition:Constructed Semantics/Instance 1/Rule of Idempotence
- Definition:Constructed Semantics/Instance 2/Factor Principle
- Definition:Constructed Semantics/Instance 2/Rule of Addition
- Definition:Constructed Semantics/Instance 2/Rule of Commutation
- Definition:Constructed Semantics/Instance 3/Factor Principle
- Definition:Constructed Semantics/Instance 3/Rule of Commutation
- Definition:Constructed Semantics/Instance 3/Rule of Idempotence
- Definition:Constructed Semantics/Instance 4/Factor Principle
- Definition:Constructed Semantics/Instance 4/Rule of Addition
- Definition:Constructed Semantics/Instance 4/Rule of Idempotence
- Definition:Constructed Semantics/Instance 5/Rule of Addition
- Definition:Constructed Semantics/Instance 5/Rule of Commutation
- Definition:Constructed Semantics/Instance 5/Rule of Idempotence
S
- Satisfiable iff Negation is Falsifiable
- Satisfiable Set minus Formula is Satisfiable
- Satisfiable Set Union Tautology is Satisfiable
- Semantic Consequence is Transitive
- Semantic Consequence of Set minus Tautology
- Semantic Consequence of Set Union Formula
- Semantic Consequence of Superset
- Subset of Satisfiable Set is Satisfiable
- Superset of Unsatisfiable Set is Unsatisfiable