fuzzy logic
ternary logic
formal logic
corollary
many-valued logic
superintuitionistic
Herbrand's theorem
weakening
elicit
negation
neutrosophic
alethiology
logicomathematical
pseudologic
false equivalence
unverity
abstract universal
postulate
posit
argumentation
logical argument
metalogic
argument
Gödel's incompleteness theorem
interpretation
theorem
direct proof
line
line of reasoning
valuation
classical logic
begging the question
NOT
valuation function
Richardson's theorem
existential operator
induction
conservative extension
existential quantifier
mathematical proof
constructive logic
metamathematics
propositional logic
propositional calculus
predicate logic
diallel
non-classical logic
probabilistically checkable proof
semisimple
material implication