eidetic
An Interpretation of the Intuitionistic Propositional Calculus
truth functional
Thinking about Mathematics
Critical Thinking
Explicatum
developer
The Completeness of the First-Order Functional Calculus
completeness
Structural completeness
strong completeness
Semantic completeness
Syntactical completeness
implication fragment of R
pluralism
Theoria
trade-off
spider
peacock
throne
generative pretrained transformer
translator
transcendence
diagonal
term
faculty
berry
Thoralf Skolem
neural network
Turing
Thomas H. Cormen
Thomas Hobbes
Topology
Tokyo
individuals
monoid
monopoly
Timothy Williamson
verificationism
birthday
subcontrary
fatalism
alligator
holiday
tableau
tableaux
Universal Instantiation
strengthened
Affirming the consequent
The Correspondence between Intuitionistic and superIntuitionistic logic and modal logic S4 and above S4
subalternation
synthetic apriori
The Mathematical Analysis of Logic
Logical-Historical Analysis of Gödel's Metatheorem in Modal Logic
contrary
contradiction
dialetheia
successor
conceive
idempotent
function
weakening