A Descending Chain of Classical Logics for Which Necessitation Implies Regularity

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24):289-291 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19790251902

Links

PhilArchive



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

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

A Descending Chain of Classical Logics for Which Necessitation Implies Regularity.Roy A. Benton - 1979 - Mathematical Logic Quarterly 25 (19‐24):289-291.
On the incompleteness of a descending chain of extensions of implicational s5.Dolph Ulrich - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):321-323.
A Descending Chain of Incomplete Extensions of Implicational S 5.Dolph Ulrich - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (13):201-208.
Logics Which Are Characterized by Subresiduated Lattices.George Epstein & Alfred Horn - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):199-210.
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.
Note on Structural Logics.Zbigniew Stachniak - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (19-20):317-320.
Elimination of Quantifiers on Łukasiewicz Logics.Néstor G. Martínez - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):15-21.
A Complete Semantics for Implicational Logics.Robert E. Kirk - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (23-24):381-383.

Analytics

Added to PP
2016-02-04

Downloads
23 (#704,854)

6 months
1 (#1,516,001)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

An Essay in Classical Modal Logic.Karl Krister Segerberg - 1971 - Dissertation, Stanford University

Add more references