completeness
consistency
symbolic logic
syllogizer
syllogist
syllogiser
postulate
posit
modal logic
tautology
sublogic
logicist
theorem
syllogization
monadic second-order logic
logicalness
logic programming
logical operation
pseudoscience
logicity
logic operation
dialectician
domain of discourse
metalogic
derivation
determinablism
pseudorationalism
good head on one's shoulders
second-order logic
Gentzenization
verifiability principle
eristic
systematizer
non-classical logic
logic
heuretic
first-order logic
lateral thinking
Boolean algebra
Boolean logic
ratiocination
presumption
logicality
predicate calculus
functional calculus
Montague grammar
clausifier
conclusion
natural deduction