corner quote
logical notation
turnstile
logistic
double turnstile
formalism
symbolic logic
fat arrow
principle of explosion
ex falso quod libet
symbolize
universal quantifier
formula
semiology
semiotics
logical operation
logic operation
Montague grammar
proof system
logicomathematical
formal system
symbolic logician
logistically
temporal logic
De Morgan's law
horseshoe
symbolically
functional calculus
logic programming
logicism
predicate calculus
denotation
formal grammar
predicate logic
existential instantiation
overbar
logic diagram
law of excluded middle
quantify
informal fallacy
alphabetiform
symbolisation
modal logic
symbolization
axiom system
tribar
wedge
by extension
formal semantics
non-classical logic