𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On a fragment of the implicative propositional calculus

✍ Scribed by H. Rasiowa

Publisher
Springer Netherlands
Year
1955
Tongue
English
Weight
68 KB
Volume
3
Category
Article
ISSN
0039-3215

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