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