Simple characterization of strict residuated lattices with an involutive negation

DOI10.1007/S00500-012-0900-YMaRDI QIDQ1955481zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Commutative residuated lattices with \((x\odot y)'=x'\vee y'\)
• Some characterizations of SBL-algebras with an involutive negation by their ideals.
• Residuated structures with involution
• scientific article; zbMATH DE number 6611122
• On the axiomatic system of \(\mathrm{SBL}_\neg\)-algebras

Cites work

• Commutative integral bounded residuated lattices with an added involution
• Filters on Commutative Residuated Lattices
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the axioms of residuated structures: independence, dependencies and rough approximations
• Residuated fuzzy logics with an involutive negation
• Residuated lattices. An algebraic glimpse at substructural logics
• Residuated logics based on strict triangular norms with an involutive negation
• T-norm-based logics with an independent involutive negation

Cited in

(3)

• Commutative residuated lattices with \((x\odot y)'=x'\vee y'\)
• Some characterizations of SBL-algebras with an involutive negation by their ideals.
• Several types of filters related to the Stonean axiom in residuated lattices

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1955481)