- 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
Involutive Commutative Residuated Lattice without Unit: Logics and Decidability
Abstract
We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operator. The logic of this structure is discussed and the Genzten-style sequent calculus of it is presented. Moreover, we prove the decidability of this logic.Author Profiles
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
- Only published works are available at libraries.
My notes
Similar books and articles
Minimal Varieties of Involutive Residuated Lattices.Constantine Tsinakis & Annika M. Wille - 2006 - Studia Logica 83 (1-3):407-423.
A proof of standard completeness for Esteva and Godo's logic MTL.Sándor Jenei & Franco Montagna - 2002 - Studia Logica 70 (2):183-192.
Residuated fuzzy logics with an involutive negation.Francesc Esteva, Lluís Godo, Petr Hájek & Mirko Navara - 2000 - Archive for Mathematical Logic 39 (2):103-124.
The Hahn Embedding Theorem for a Class of Residuated Semigroups.Sándor Jenei - 2020 - Studia Logica 108 (6):1161-1206.
Integrally Closed Residuated Lattices.José Gil-Férez, Frederik Möllerström Lauridsen & George Metcalfe - 2020 - Studia Logica 108 (5):1063-1086.
Minimal Varieties of Representable Commutative Residuated Lattices.Rostislav Horčík - 2012 - Studia Logica 100 (6):1063-1078.
Group Representation for Even and Odd Involutive Commutative Residuated Chains.Sándor Jenei - 2022 - Studia Logica 110 (4):881-922.
Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices.Bin Zhao & Hongjun Zhou - 2013 - Archive for Mathematical Logic 52 (7-8):689-706.
On Some Categories of Involutive Centered Residuated Lattices.J. L. Castiglioni, M. Menni & M. Sagastume - 2008 - Studia Logica 90 (1):93-124.
On involutive FLe-monoids.Sándor Jenei & Hiroakira Ono - 2012 - Archive for Mathematical Logic 51 (7-8):719-738.
On the variety generated by involutive pocrims.James Raftery - 2007 - Reports on Mathematical Logic.
Archimedean classes in integral commutative residuated chains.Rostislav Horčík & Franco Montagna - 2009 - Mathematical Logic Quarterly 55 (3):320-336.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
Residuated logics based on strict triangular norms with an involutive negation.Petr Cintula, Erich Peter Klement, Radko Mesiar & Mirko Navara - 2006 - Mathematical Logic Quarterly 52 (3):269-282.
Compatible operations on commutative residuated lattices.José Luis Castiglioni, Matías Menni & Marta Sagastume - 2008 - Journal of Applied Non-Classical Logics 18 (4):413-425.
Analytics
Added to PP
2023-06-04
Downloads
10 (#1,186,283)
6 months
5 (#627,481)
2023-06-04
Downloads
10 (#1,186,283)
6 months
5 (#627,481)
Historical graph of downloads
Author Profiles
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-55b469568f-znn98 uwo