Simple characterization of strict residuated lattices with an involutive negation

DOI10.1007/s00500-012-0900-yzbMath1408.03039OpenAlexW2080262342MaRDI QIDQ1955481

Yanyan Li

Publication date: 11 June 2013

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

Full work available at URL: https://doi.org/10.1007/s00500-012-0900-y

zbMATH Keywords

residuated latticeinvolutive negationstrict axiom

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05)

Related Items

Several types of filters related to the Stonean axiom in residuated lattices

Cites Work

• Unnamed Item
• T-norm-based logics with an independent involutive negation
• Residuated lattices. An algebraic glimpse at substructural logics
• Commutative integral bounded residuated lattices with an added involution
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Residuated fuzzy logics with an involutive negation
• Filters on Commutative Residuated Lattices
• Residuated logics based on strict triangular norms with an involutive negation

This page was built for publication: Simple characterization of strict residuated lattices with an involutive negation