Splitting lattices of logics

Archive for Mathematical Logic 20 (3-4):155-159 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02021134

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

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

The structure of lattices of subframe logics.Frank Wolter - 1997 - Annals of Pure and Applied Logic 86 (1):47-100.
A splitting theorem for the Medvedev and Muchnik lattices.Stephen Binns - 2003 - Mathematical Logic Quarterly 49 (4):327.
Superintuitionistic companions of classical modal logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2011 - Australasian Journal of Logic 8:50-81.
Residuated Lattices: An Algebraic Glimpse at Substructural Logics.Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski & Hiroakira Ono - 2007 - Elsevier.
The lattice of normal modal logics (preliminary report).Wolfgang Rautenberg - 1977 - Bulletin of the Section of Logic 6 (4):193-199.
Closure Operators and Complete Embeddings of Residuated Lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427-440.
Closure operators and complete embeddings of residuated lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427 - 440.
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (1):93-132.
Logics for extended distributive contact lattices.T. Ivanova - 2018 - Journal of Applied Non-Classical Logics 28 (1):140-162.
Duality via Truth: Semantic frameworks for lattice-based logics.Ewa Orlowska & Ingrid Rewitzky - 2005 - Logic Journal of the IGPL 13 (4):467-490.
Lattices of modal logics and their groups of automorphisms.Marcus Kracht - 1999 - Annals of Pure and Applied Logic 100 (1-3):99-139.
Interconnection of the Lattices of Extensions of Four Logics.Alexei Y. Muravitsky - 2017 - Logica Universalis 11 (2):253-281.
Automorphisms of orthomodular lattices and symmetries of quantum logics.Věra Trnková - 1991 - Foundations of Physics 21 (7):855-860.

Analytics

Added to PP
2020-12-03

Downloads
4 (#1,624,201)

6 months
2 (#1,198,900)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.
Stable canonical rules.Guram Bezhanishvili, Nick Bezhanishvili & Rosalie Iemhoff - 2016 - Journal of Symbolic Logic 81 (1):284-315.
Canonical Rules.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (4):1171 - 1205.

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references