- 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
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Elsevier (2007)
Abstract
This is also where we begin investigating lattices of logics and varieties, rather than particular examples.Author Profiles
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Glivenko theorems revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.
Nonassociative substructural logics and their semilinear extensions: Axiomatization and completeness properties: Nonassociative substructural logics.Petr Cintula, Rostislav Horčík & Carles Noguera - 2013 - Review of Symbolic Logic 6 (3):394-423.
Semisimplicity, EDPC and Discriminator Varieties of Bounded Weak-commutative Residuated Lattices with an S4-like Modal Operator.Hiroki Takamura - 2012 - Studia Logica 100 (6):1137-1148.
Generalized ordinal sums and translations.Nikolaos Galatos - 2011 - Logic Journal of the IGPL 19 (3):455-466.
Crawley Completions of Residuated Lattices and Algebraic Completeness of Substructural Predicate Logics.Hiroakira Ono - 2012 - Studia Logica 100 (1-2):339-359.
Logics without the contraction rule and residuated lattices.Hiroakira Ono - 2010 - Australasian Journal of Logic 8:50-81.
On two fragments with negation and without implication of the logic of residuated lattices.Ventura Verdú, Àngel García-Cerdaña & Félix Bou - 2005 - Archive for Mathematical Logic 45 (5).
Equational bases for joins of residuated-lattice varieties.Nikolaos Galatos - 2004 - Studia Logica 76 (2):227 - 240.
Closure operators and complete embeddings of residuated lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427 - 440.
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL.Nikolaos Galatos & Hiroakira Ono - 2006 - Studia Logica 83 (1-3):279-308.
Analytics
Added to PP
2011-07-19
Downloads
96 (#545,253)
6 months
20 (#564,349)
2011-07-19
Downloads
96 (#545,253)
6 months
20 (#564,349)
Historical graph of downloads
Author Profiles
Citations of this work
Truth and Falsehood: An Inquiry Into Generalized Logical Values.Yaroslav Shramko & Heinrich Wansing - 2011 - Dordrecht, Netherland: Springer.
Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.
(Meta)inferential levels of entailment beyond the Tarskian paradigm.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2019 - Synthese 198 (S22):5265-5289.
Paraconsistency: Logic and Applications.Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.) - 2012 - Dordrecht, Netherland: Springer.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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