quantum logic
non-classical logic
relevance logic
intuitionistic logic
Wightman axiom
logicism
axiomatic system
consistency
nonquantum mechanics
many-valued logic
natural deduction
quantum physics
axiom of choice
objectivation
praxis
domain logic
einselection
linear logic
conservative extension
Hegelianism
Platonism
realism
abstraction
formal system
hidden variable
interpretation
Gentzenization
many-worlds interpretation
completeness
metaphysics
mathematical logic
predicate logic
Boolean algebra
axiom
quantum mechanics
de Broglie-Bohm theory
Bohmian mechanics
axiom system
algebraic combinatorics
quantization
Zermelo-Fraenkel set theory
speculatist
material implication
philosopheme
logicist
paraconsistent logic
theoretical physicist
formal logic
formalism
term logic