Logic

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:

• A Universe of Discourse

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

• Logic/Proof-theoretic
• Logic/Model-theoretic