ontology
logic programming
natural deduction
sublogic
second-order logic
mathematical logic
formal logic
symbolic logic
formal science
rationalism
theorem
NBG
Zermelo-Fraenkel set theory
sorting
classification
Vygotskian
categorization
Matthias Jakob Schleiden
categorisation
M. J. Schleiden
trait
Schleiden
Matthias Schleiden
quasivariety
definitionism
universal algebra
logical operation
logic operation
type erasure
declarative programming
mathematical sociology
metalogic
conservative extension
Zinbiel algebra
algebraic K-theory
Boolean algebra
Boolean logic
predicate logic
syllogizer
modal logic
prelogic
computronium
syllogist
Hindley-Milner type system
algebraic variety
homotopy theory
syllogiser
fundament
logic diagram
monadic second-order logic