HpsUL is not the logic of pseudo-uninorms and their residua

Logic Journal of the IGPL 17 (4):413-419 (2009)
  Copy   BIBTEX

Abstract

This paper presents several results on the non-commutative fuzzy logic HpsUL, a Hilbert system whose corresponding algebraic semantics is the variety of bounded representable residuated lattices. In particular, we prove that HpsUL is not complete with respect to algebras based on the real unit interval, which answers the question posed by Metcalfe, Olivetti and Gabbay and shows that HpsUL is not the logic of pseudo-uninorms and their residua

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Fuzzy logics based on [0,1)-continuous uninorms.Dov Gabbay & George Metcalfe - 2007 - Archive for Mathematical Logic 46 (5-6):425-449.
Substructural Fuzzy Logics.George Metcalfe & Franco Montagna - 2007 - Journal of Symbolic Logic 72 (3):834 - 864.
States on pseudo MV-Algebras.Anatolij Dvurečenskij - 2001 - Studia Logica 68 (3):301-327.
On the structure of linearly ordered pseudo-BCK-algebras.Anatolij Dvurečenskij & Jan Kühr - 2009 - Archive for Mathematical Logic 48 (8):771-791.
Pseudo equality algebras.Sándor Jenei & László Kóródi - 2013 - Archive for Mathematical Logic 52 (5-6):469-481.
Varieties of pseudo-interior algebras.Barbara Klunder - 2000 - Studia Logica 65 (1):113-136.
ŁΠ logic with fixed points.Luca Spada - 2008 - Archive for Mathematical Logic 47 (7-8):741-763.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.

Analytics

Added to PP
2015-02-04

Downloads
11 (#1,142,960)

6 months
3 (#984,114)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The finite model property for semilinear substructural logics.San-Min Wang - 2013 - Mathematical Logic Quarterly 59 (4-5):268-273.

Add more citations

References found in this work

Logics with disjunction and proof by cases.San-min Wang & Petr Cintula - 2008 - Archive for Mathematical Logic 47 (5):435-446.
Weakly Implicative (Fuzzy) Logics I: Basic Properties. [REVIEW]Petr Cintula - 2006 - Archive for Mathematical Logic 45 (6):673-704.

Add more references