Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Residuated bilattices

From MaRDI portal
Publication:1933771
Jump to:navigation, search

DOI10.1007/s00500-011-0752-xzbMath1255.03058OpenAlexW2914384061MaRDI QIDQ1933771

Umberto Rivieccio, Ramon Jansana

Publication date: 25 January 2013

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-011-0752-x


zbMATH Keywords

residuated latticesbilatticetwist-structureproduct bilattice


Mathematics Subject Classification ID

Other algebras related to logic (03G25)


Related Items

Constraint tableaux for two-dimensional fuzzy logics ⋮ Implicative twist-structures ⋮ Galois connections for bilattices ⋮ Paraconsistent Modal Logics ⋮ Paraconsistent Gödel modal logic ⋮ On residuation in multilattices: filters, congruences, and homomorphisms.



Cites Work

  • Unnamed Item
  • Varieties of interlaced bilattices
  • Residuated lattices. An algebraic glimpse at substructural logics
  • On axiomatizing Shramko-Wansing's logic
  • Adding involution to residuated structures
  • On the representation of \(\mathbf{N4}\)-lattices
  • A duality theory for bilattices
  • Reasoning with logical bilattices
  • Minimal varieties of involutive residuated lattices
  • The logic of distributive bilattices
  • Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic
  • Algebraic Semantics for Paraconsistent Nelson's Logic
  • The structure of interlaced bilattices
Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1933771&oldid=14367190"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 1 February 2024, at 16:30.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki