✦ LIBER ✦

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

✍ Scribed by Shin'Ichi Ykotota

Publisher: John Wiley and Sons
Year: 1991
Tongue: English
Weight: 451 KB
Volume: 37
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19910370202

No coin nor oath required. For personal study only.

✦ Synopsis

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 and the References. The preprints SUZUKI [13] and ONO and SUZUKI (141 have been published in Studia Logica 47 (1988), 391-399, and in Rep. Math. Logic 22 (1989), 65-87, respectively, as well as YOROTA [12] in Rep. Math. Logic 22 (1989), 51-63.

📜 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