On linear Brouwerian logics

Mathematical Logic Quarterly 60 (4-5):304-313 (2014)
  Copy   BIBTEX

Abstract

We define a special family of Brouwerian logics determined by linearly ordered frames. Then we prove that all logics of this family have the finite model property and are Kripke complete.

Categories

Keywords

Reprint years

DOI

10.1002/malq.201200075

Links

PhilArchive



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

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

Linear Kripke Frames and Gödel Logics.Arnold Beckmann & Norbert Preining - 2007 - Journal of Symbolic Logic 72 (1):26 - 44.
Some extensions of the Brouwerian logic.G. Hughes - 1980 - Bulletin of the Section of Logic 9 (2):78-83.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
Classical linear logics with mix separation principle.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (2):201-209.
From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
The criterion of Brouwerian and closure algebras to be finitely generated.Leo Esakia & Revaz Grigolia - 1977 - Bulletin of the Section of Logic 6 (2):46-51.
The density of truth in monadic fragments of some intermediate logics.Zofia Kostrzycka - 2007 - Journal of Logic, Language and Information 16 (3):283-302.
Topological Representations of Distributive Lattices and Brouwerian Logics.M. H. Stone - 1938 - Journal of Symbolic Logic 3 (2):90-91.
Binomial pairs, semi-Brouwerian and Brouwerian semilattices.Jürgen Schmidt - 1978 - Notre Dame Journal of Formal Logic 19 (3):421-434.
Some Admissible Rules in Modal Systems with the Brouwerian Axiom.Timothy Williamson - 1996 - Logic Journal of the IGPL 4 (2):283-303.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
On non‐compact logics in NEXT(KTB).Zofia Kostrzycka - 2008 - Mathematical Logic Quarterly 54 (6):617-624.
On finite linear intermediate predicate logics.Hiroakira Ono - 1988 - Studia Logica 47 (4):391 - 399.
On the density of truth of implicational parts of intuitionistic and classical logics.Zofia X. Zofia Kostrzycka - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):391-421.
Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras.Thomas Vetterlein - 2008 - Mathematical Logic Quarterly 54 (4):350-367.

Analytics

Added to PP
2015-09-03

Downloads
16 (#928,967)

6 months
4 (#851,472)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

The Logics Containing S 4.3.Kit Fine - 1971 - Mathematical Logic Quarterly 17 (1):371-376.
That All Normal Extensions of S4.3 Have the Finite Model Property.R. A. Bull - 1966 - Mathematical Logic Quarterly 12 (1):341-344.
Kripke Incomplete Logics Containing KTB.Yutaka Miyazaki - 2007 - Studia Logica 85 (3):303-317.
Normal Modal Logics Contianing KTB with some Finiteness Conditions.Yutaka Miyazaki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 171-190.
On non‐compact logics in NEXT(KTB).Zofia Kostrzycka - 2008 - Mathematical Logic Quarterly 54 (6):617-624.

View all 7 references / Add more references