𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Remark on a finite axiomatization of finite intermediate propositional logics

✍ Scribed by Skvortsov, D.

Book ID
120453655
Publisher
Editions Lavoisier
Year
1999
Tongue
English
Weight
286 KB
Volume
9
Category
Article
ISSN
1166-3081

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on the interpretability logic of
A note on the interpretability logic of finitely axiomatized theories
✍ Maarten Rijke πŸ“‚ Article πŸ“… 1991 πŸ› Springer Netherlands 🌐 English βš– 481 KB

Ill [6] Albert Visser shows that ILP completely axiomatizes all schemata about provabihty and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP ~ that completely axiomatizes the arithmetically valid principles of provability

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