A Descending Chain of Incomplete Extensions of Implicational S 5

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (13):201-208 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19850311303

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,574

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 Incomplete Extensions of Implicational S 5.Dolph Ulrich - 1985 - Mathematical Logic Quarterly 31 (13):201-208.
On the incompleteness of a descending chain of extensions of implicational s5.Dolph Ulrich - 1992 - Mathematical Logic Quarterly 38 (1):321-323.
Maximal chains in the fundamental order.Steven Buechler - 1986 - Journal of Symbolic Logic 51 (2):323-326.
Model-theoretic aspects of Σ-cotorsion modules.Pedro A. Guil Asensio & Ivo Herzog - 2007 - Annals of Pure and Applied Logic 146 (1):1-12.
Fragments of Modal and Intuitionistic Propositional Calculi.Ralph Henry Moon - 1979 - Dissertation, Purdue University
An infinitely descending chain of ground without a lower bound.Jon Erling Litland - 2016 - Philosophical Studies 173 (5):1361-1369.
Modal logics with no minimal proper extensions.George F. Schumm - 1979 - Studia Logica 38 (3):233 - 235.
A descending chain condition for groups definable in o -minimal structures.Alessandro Berarducci, Margarita Otero, Yaa’cov Peterzil & Anand Pillay - 2005 - Annals of Pure and Applied Logic 134 (2):303-313.
An infinity of super-Belnap logics.Umberto Rivieccio - 2012 - Journal of Applied Non-Classical Logics 22 (4):319-335.
A Descending Chain of Classical Logics for Which Necessitation Implies Regularity.Roy A. Benton - 1979 - Mathematical Logic Quarterly 25 (19‐24):289-291.
Some descending chains of incomplete modal logics.Ming Xu - 1991 - Journal of Philosophical Logic 20 (3):265 - 283.
Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.
Preservation theorems for MTL-chains.C. van Alten - 2011 - Logic Journal of the IGPL 19 (3):490-511.
The shortest possible length of the longest implicational axiom.Dolph Ulrich - 1996 - Journal of Philosophical Logic 25 (1):101 - 108.
A completeness-proof method for extensions of the implicational fragment of the propositional calculus.Diderik Batens - 1980 - Notre Dame Journal of Formal Logic 21 (3):509-517.

Analytics

Added to PP
2015-12-02

Downloads
26 (#615,896)

6 months
2 (#1,206,551)

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.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.
Symbolic logic.Clarence Irving Lewis - 1932 - [New York]: Dover Publications. Edited by Cooper Harold Langford.
Many-valued logic.Nicholas Rescher - 1969 - New York,: McGraw-Hill.
An incomplete logic containing S.Kit Fine - 1974 - Theoria 40 (1):23-29.

Add more references