✦ LIBER ✦

Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I

✍ Scribed by Shin'ichi Yokota

Publisher: John Wiley and Sons
Year: 1989
Tongue: English
Weight: 370 KB
Volume: 35
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19890350507

No coin nor oath required. For personal study only.

✦ Synopsis

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 for his stimulative c,onimcnts on an earlier. draft of the present paper.

📜 SIMILAR VOLUMES

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