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

Mathematical Logic Quarterly 37 (2-4):17-26 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19910370202

Links

PhilArchive



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

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 II.Shin'Ichi Ykotota - 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 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (2-4):17-26.
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 I.Shin'ichi Yokota - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):415-421.
Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
An infinite class of maximal intermediate propositional logics with the disjunction property.Pierangelo Miglioli - 1992 - Archive for Mathematical Logic 31 (6):415-432.
Completeness of intermediate logics with doubly negated axioms.Mohammad Ardeshir & S. Mojtaba Mojtahedi - 2014 - Mathematical Logic Quarterly 60 (1-2):6-11.
First Order Logics for Metric Structures.Bernd I. Dahn - 1980 - Mathematical Logic Quarterly 26 (1-6):77-88.
First Order Logics for Metric Structures.Bernd I. Dahn - 1980 - Mathematical Logic Quarterly 26 (1‐6):77-88.
Multiple Forms of Gentzen's Rules and Some Intermediate Logics.Z. Šikić - 1984 - Mathematical Logic Quarterly 30 (19-24):335-338.

Analytics

Added to PP
2017-02-17

Downloads
3 (#1,733,497)

6 months
3 (#1,208,233)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

On finite linear intermediate predicate logics.Hiroakira Ono - 1988 - Studia Logica 47 (4):391 - 399.

Add more citations

References found in this work

No references found.

Add more references