A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus

DOI10.1002/MALQ.19940400109zbMath0806.03010OpenAlexW1989947827MaRDI QIDQ4304150

Ventura Verdú, Jordi Rebagliato

Publication date: 5 October 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19940400109

zbMATH Keywords

intuitionistic propositional calculusstructural closure operatorsfinite axiomatizationsfinite Hilbert-style axiomatizationimplicationless fragment

Mathematics Subject Classification ID

Pseudocomplemented lattices (06D15) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences ⋮ PROOF SYSTEMS FOR EXACT ENTAILMENT ⋮ On two fragments with negation and without implication of the logic of residuated lattices

Cites Work

• Unnamed Item

This page was built for publication: A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus