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

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):415-421 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350507

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights I.Shin'ichi Yokota - 1989 - Mathematical Logic Quarterly 35 (5):415-421.
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights II.Shin'Ichi Ykotota - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (2-4):17-26.
Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights II.Shin'ichi Yokota - 1991 - Mathematical Logic Quarterly 37 (2-4):17-26.
Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II.Shin'Ichi Ykotota - 1991 - Mathematical Logic Quarterly 37 (2‐4):17-26.
An Axiomatization of Topological Boolean Algebras.Joel Kagan - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (7):103-106.
On a Method of Axiomatization of Some Propositional Calculi.Zdzislaw Dywan - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1):65-68.
Bounded Properties in Modal Logic.George F. Schumm - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):197-200.
The number of {□, →}-logics.George F. Schumm - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):517-518.
The Paraconsistent Logics PJ.Newton C. A. da Costa, V. S. Subrahmanian & Carlo Vago - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):139-148.
The Representation of Intensional Logics.M. J. Cresswell - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (19):289-298.

Analytics

Added to PP
2015-12-02

Downloads
36 (#458,158)

6 months
8 (#415,230)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references