A Cut‐Free Calculus For Dummett's LC Quantified
- 1 January 1989
- journal article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 35 (4) , 289-301
- https://doi.org/10.1002/malq.19890350402
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Semantic trees for Dummett's logic LCStudia Logica, 1986
- A propositional calculus with denumerable matrixThe Journal of Symbolic Logic, 1959
- Notice 1960 International Congress for Logic, Methodology and Philosophy of ScienceThe Journal of Symbolic Logic, 1959