- 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
Bounded distributive lattices with strict implication
Mathematical Logic Quarterly 51 (3):219 (2005)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.
Infinite substructure lattices of models of Peano Arithmetic.James H. Schmerl - 2010 - Journal of Symbolic Logic 75 (4):1366-1382.
Distributive Lattices with a Negation Operator.Sergio Arturo Celani - 1999 - Mathematical Logic Quarterly 45 (2):207-218.
Priestley Style Duality for Distributive Meet-semilattices.Guram Bezhanishvili & Ramon Jansana - 2011 - Studia Logica 98 (1-2):83-122.
Free modal lattices via Priestley duality.Claudia B. Wegener - 2002 - Studia Logica 70 (3):339 - 352.
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.
Distributive lattices with an operator.Alejandro Petrovich - 1996 - Studia Logica 56 (1-2):205 - 224.
Decision problem for separated distributive lattices.Yuri Gurevich - 1983 - Journal of Symbolic Logic 48 (1):193-196.
The lattice of distributive closure operators over an algebra.Josep M. Font & Ventura Verdú - 1993 - Studia Logica 52 (1):1 - 13.
Strict conditionals: A negative result.Jan Heylen & Leon Horsten - 2006 - Philosophical Quarterly 56 (225):536–549.
Natural Deduction Based upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Two identities for lattices, distributive lattices and modular lattices with a constant.Saburo Tamura - 1975 - Notre Dame Journal of Formal Logic 16 (1):137-140.
Embeddings into the Medvedev and Muchnik lattices of Π0 1 classes.Stephen Binns & Stephen G. Simpson - 2004 - Archive for Mathematical Logic 43 (3):399-414.
Analytics
Added to PP
2013-12-01
Downloads
0
6 months
0
2013-12-01
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Citations of this work
Leibniz-linked Pairs of Deductive Systems.Josep Maria Font & Ramon Jansana - 2011 - Studia Logica 99 (1-3):171-202.
Frontal Operators in Weak Heyting Algebras.Sergio A. Celani & Hernán J. San Martín - 2012 - Studia Logica 100 (1-2):91-114.
Amalgamation property for the class of basic algebras and some of its natural subclasses.Majid Alizadeh & Mohammad Ardeshir - 2006 - Archive for Mathematical Logic 45 (8):913-930.
Basic propositional logic and the weak excluded middle.Majid Alizadeh & Mohammad Ardeshir - 2019 - Logic Journal of the IGPL 27 (3):371-383.
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-6d9b7f7c4c-67rzb uwo