by extension
logical notation
interchangeable
simultaneous interpretation
linear logic
term logic
sublogic
superintuitionistic
predicate logic
paradox
logistic
logic operation
logical operation
logicist
clausification
explanans
unreason
functional calculus
logiclessness
predicate calculus
logic programming
biparameter
semantology
alethiology
epsilontics
material logic
witcraft
clausifier
Gödel's incompleteness theorem
non-classical logic
imperative
declarative programming
alogical
binary
mathematical logic
rhyme or reason
syllogistic
figuring out
sloppy-minded
jinx
stretto
rigmarole
second-order
shallow embedding
natural deduction
propositional calculus
rigamarole
explainify
affirming the consequent
logical system