logical system
type of system
NOR logic
logic constructed only from NOR gates
Intensional logic
approach to predicate logic
computability logic
formal system for computability
numeral system
notation for expressing numbers
classical logic
class of formal logics
abstract logic
formal system in mathematical logic
propositional calculus
branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components
Reason maintenance
approach to efficient handling of inferred information that is explicitly stored
trivial theory
logical or axiomatic system in which every statement is a theorem
many-valued logic
propositional calculus in which there are more than two truth values
modal logic
formal logic able to express concepts such as necessity, possibility, provability, obligation, knowledge etc.
non-classical logic
formal systems of logic that significantly differ from standard logical systems
predicate logic
subfield of logic
epsilon calculus
logical calculus with a primitive symbol that denotes an arbitrary value satisfying a given predicate or, if no such value exists, another arbitrary value