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