sublogic
material logic
modal logic
logical operation
logic operation
logic circuit
logic diagram
logic programming
superintuitionistic
predicate logic
Boolean algebra
logical system
Boolean logic
system of logic
logic
metalogic
declarative programming
aspect-oriented
symbolic logic
monadic second-order logic
type theory
consistency
logical diagram
syllogist
threshold element
threshold gate
logical notation
domain of discourse
Heyting algebra
temporal logic
second-order logic
Organon
natural deduction
non-classical logic
formal logic
logistic
mathematical logic
heuretic
logicist
fuzzy mathematics
Gentzenization
abstract universal
by extension
functional calculus
completeness
predicate calculus
syllogistic
alethiology
body
imperative