A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus
- 1 January 1994
- journal article
- research article
- Published by Wiley in Mathematical Logic Quarterly
- Vol. 40 (1) , 61-68
- https://doi.org/10.1002/malq.19940400109
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- On the Algebraization of Some Gentzen Systems1Fundamenta Informaticae, 1993
- Axiomatizing logics closely related to varietiesStudia Logica, 1991
- Applications of weak Kripke semantics to intermediate consequencesStudia Logica, 1986