Pretabular superintuitionist logic
- 1 September 1972
- journal article
- Published by Springer Nature in Algebra and Logic
- Vol. 11 (5) , 308-314
- https://doi.org/10.1007/bf02330744
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Algebraic Completeness Results for Dummett's LC and Its ExtensionsMathematical Logic Quarterly, 1971
- Some results for implicational calculiThe Journal of Symbolic Logic, 1964
- A propositional calculus with denumerable matrixThe Journal of Symbolic Logic, 1959