- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Splitting lattices of logics
Archive for Mathematical Logic 20 (3-4):155-159 (1980)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
The theory of [mathematical formula]-lattices is decidable.Stefano Baratella & Carlo Toffalori - 1997 - Archive for Mathematical Logic 36 (2).
The decision problem for [mathematical formula]-lattices with [mathematical formula] prime.Carlo Toffalori - 1997 - Archive for Mathematical Logic 36 (2).
The decision problem for...-lattices with..Carlo Toffalori - 1998 - Archive for Mathematical Logic 37 (2).
Logics Which Are Characterized by Subresiduated Lattices.George Epstein & Alfred Horn - 1976 - Mathematical Logic Quarterly 22 (1):199-210.
Even more about the lattice of tense logics.Marcus Kracht - 1992 - Archive for Mathematical Logic 31 (4):243-257.
Selfextensional logics with a distributive nearlattice term.Luciano J. González - 2019 - Archive for Mathematical Logic 58 (1-2):219-243.
Superintuitionistic companions of classical modal logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
Analytics
Added to PP
2020-12-03
Downloads
9 (#1,523,857)
6 months
3 (#1,470,638)
2020-12-03
Downloads
9 (#1,523,857)
6 months
3 (#1,470,638)
Historical graph of 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.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
An almost general splitting theorem for modal logic.Marcus Kracht - 1990 - Studia Logica 49 (4):455 - 470.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-2pm92 dc2