About: Double residuated lattices are expansions of residuated lattices with an extra monoidal operator, playing the role of a strong disjunction operation, together with its dual residuum. They were introduced by Orłowska and Radzikowska. In this paper we consider the subclass of double residuated structures that are expansions of MTL-algebras, that is, prelinear, bounded, commutative and integral residuated lattices. MTL-algebras constitute the algebraic semantics for the MTL logic, the system of mathematical fuzzy logic that is complete w.r.t. the class of residuated lattices on the real unit interval [0, 1] induced by left-continuous t-norms. Our aim is to axiomatise the logic whose intended semantics are commutative and integral double residuated structures on [0, 1], that are induced by an arbitrary left-continuous t-norm, an arbitrary right-continuous t-conorm, and their corresponding residual operations.   Goto Sponge  NotDistinct  Permalink

An Entity of Type : fabio:Abstract, within Data Space : covidontheweb.inria.fr associated with source document(s)

AttributesValues
type
value
  • Double residuated lattices are expansions of residuated lattices with an extra monoidal operator, playing the role of a strong disjunction operation, together with its dual residuum. They were introduced by Orłowska and Radzikowska. In this paper we consider the subclass of double residuated structures that are expansions of MTL-algebras, that is, prelinear, bounded, commutative and integral residuated lattices. MTL-algebras constitute the algebraic semantics for the MTL logic, the system of mathematical fuzzy logic that is complete w.r.t. the class of residuated lattices on the real unit interval [0, 1] induced by left-continuous t-norms. Our aim is to axiomatise the logic whose intended semantics are commutative and integral double residuated structures on [0, 1], that are induced by an arbitrary left-continuous t-norm, an arbitrary right-continuous t-conorm, and their corresponding residual operations.
Subject
  • Fuzzy logic
  • Elementary algebra
  • Non-classical logic
  • Mathematical logic
  • Lattice theory
  • Sets of real numbers
  • Ordered algebraic structures
part of
is abstract of
is hasSource of
Faceted Search & Find service v1.13.91 as of Mar 24 2020


Alternative Linked Data Documents: Sponger | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software