Mathematical logic quarterly · 1989 · 23 citations · 2 references
Natural SciencesMathematicsPhysicsApplied MathematicsDifferential EquationsMathematical PhysicsMathematical LogicPredicate Logic
2
A propositional calculus with denumerable matrix
Michael Dummett · Journal of Symbolic Logic · 1959 · 403 citations
Semantic trees for Dummett's logic LC
Giovanna Corsi · Studia Logica · 1986 · 12 citations