A tableau calculus for Dummett predicate logic

• 1 January 1999
• book chapter
• Published by American Mathematical Society (AMS) in Contemporary Mathematics
• Vol. 235, 135-151
• https://doi.org/10.1090/conm/235/03471

Abstract