𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus.by V. A. Jankov

✍ Scribed by Review by: J. G. Anderson

Book ID
124972389
Publisher
Association for Symbolic Logic
Year
1973
Tongue
English
Weight
128 KB
Volume
38
Category
Article
ISSN
0022-4812

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