𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Finite axiomatization for some intermediate logics

✍ Scribed by I. Janioka-Żuk

Publisher
Springer Netherlands
Year
1980
Tongue
English
Weight
429 KB
Volume
39
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatization of the First-Order Interm
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I
✍ Shin'ichi Yokota 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 370 KB

AXIOMATIZATION OF THE FIRST-ORDER INTERMEDIATE LOGICS OF BOUNDED KRIPKEAN HEIGHTS I by SHIN'ICHI YOKOTA in Tokyo (Japa.n)') ') The part 11 of this paper ronsiste of Chapter 2. The author would like to express his gratitude to Prof. H. ONO for kind correspondence on the subject, and to Mr. Y. KOMORI

Axiomatization of the First-Order Interm
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights II
✍ Shin'Ichi Ykotota 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 451 KB

0 1991 D B C ~ ng. d wirs. AXIOMATIZATION OF THE FIRST-ORDER INTERMEDIATE LOGICS OF BOUNDED KRIPKEAN HEIGHTS I1 by SHIN'ICHI YOKOTA in Tokyo (Japan)') \*) Continuation from Part I (this Zeitschrift 35 (1989), 415-421), which consists of Chapter 1 of the present paper as well as the Acknowledgements

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