Completeness theorem for dummett's LC quantified and some of its extensions
- 1 January 1992
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 51 (2) , 317-335
- https://doi.org/10.1007/bf00370118
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A logic characterized by the class of connected models with nested domainsStudia Logica, 1989
- Directed framesArchive for Mathematical Logic, 1989
- A Cut‐Free Calculus For Dummett's LC QuantifiedMathematical Logic Quarterly, 1989
- Ordered sets R and Q as bases of Kripke modelsStudia Logica, 1987
- Semantical Analysis of Intuitionistic Logic IPublished by Elsevier ,1965
- Notice 1960 International Congress for Logic, Methodology and Philosophy of ScienceThe Journal of Symbolic Logic, 1959