Logic
From Public Domain Knowledge Bank
Definition
A Logic requires:
- A set of Logic/Axioms with a mapping to Logic/Truth_Values
- A [[Logic/Grammar of Construction to define a Logic/Well-Formed-Formula (Logic/WFF)
- A set of Logic/Inference Rules that relate one WFF to another WFF
A Logic can be used when there an associated:
Types of Logic
- Logic/Propositional Logic
- Logic/Predicate Logic
- Logic/Monotonic Logic
- Logic/Atemporal Logic
- Logic/Temporal Logic
- Logic/Non-Monotonic Logic
- Logic/Deontic Logic
aspects of logic
Info links
- The introductory sections of Chang and Keisler's "Model Theory" (1973)
- Conceptual Graphs
