𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Separation Theorem for Fragments of the Intuitionistic Propositional Calculus

✍ Scribed by G. Rousseau

Publisher
John Wiley and Sons
Year
1970
Tongue
English
Weight
325 KB
Volume
16
Category
Article
ISSN
0044-3050

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

SINGLE GENERATORS FOR HENKINIAN FRAGMENT
SINGLE GENERATORS FOR HENKINIAN FRAGMENTS OF THE 2-VALUED PROPOSITIONAL CALCULUS
✍ Alan Rose πŸ“‚ Article πŸ“… 1969 πŸ› John Wiley and Sons 🌐 English βš– 396 KB

## SINGLE GENERATORS FOR HENKINIAN FRAGMENTS OF THE 2-VALUED PROPOSITIONAL CALCULUS by ALAN ROSE in Nottingham (England) HENKIN has shown,) that if the truth-tables of the primitive functors of a 2-valued propositional calculus are such that material implication is definable2) in this propositiona