Mathematical logic quarterly · 1972 · 16 citations · 1 references
HumanitiesMathematicsPhilosophyKnowledge RepresentationLogicPhilosophy Of MathematicsIntuitionistic LogicMathematical LogicModel TheoryPhilosophical LogicPhilosophy Of LogicPredicate LogicModel-theoretic Semantics
1
Applications of trees to intermediate logics
Dov M. Gabbay · Journal of Symbolic Logic · 1972 · 35 citations