Mathematical Logic Quarterly 40 (1):61-68 (1994)

Abstract
In this paper we obtain a finite Hilbert-style axiomatization of the implicationless fragment of the intuitionistic propositional calculus. As a consequence we obtain finite axiomatizations of all structural closure operators on the algebra of {–}-formulas containing this fragment
Keywords Intuitionistic propositional calculus  Implications‐less fragment  Hubert‐style axiomatization  Structural closure operator
Categories (categorize this paper)
DOI 10.1002/malq.19940400109
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,568
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Elements of Intuitionism.Michael Dummett - 1977 - Oxford University Press.
Elements of Intuitionism.Nicolas D. Goodman - 1979 - Journal of Symbolic Logic 44 (2):276-277.
Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
Axiomatizing Logics Closely Related to Varieties.W. Rautenberg - 1991 - Studia Logica 50 (3-4):607 - 622.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

New Consecution Calculi for $R^{T}_{\To}$.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.
Atomic Polymorphism.Fernando Ferreira & Gilda Ferreira - 2013 - Journal of Symbolic Logic 78 (1):260-274.
The Logic of Bunched Implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
The First Axiomatization of Relevant Logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.
A Proof-Search Procedure for Intuitionistic Propositional Logic.R. Alonderis - 2013 - Archive for Mathematical Logic 52 (7-8):759-778.

Analytics

Added to PP index
2013-12-01

Total views
14 ( #668,065 of 2,385,655 )

Recent downloads (6 months)
1 ( #560,301 of 2,385,655 )

How can I increase my downloads?

Downloads

My notes