𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Complexity of subclasses of the intuitionistic propositional calculus

✍ Scribed by G. Mints

Publisher
Springer Netherlands
Year
1992
Tongue
English
Weight
341 KB
Volume
32
Category
Article
ISSN
0006-3835

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Finite Hilbert-Style Axiomatization of
A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus
✍ Jordi Rebagliato; Ventura VerdΓΊ πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 374 KB πŸ‘ 1 views

## 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. Mat