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