Simple characterization of strict residuated lattices with an involutive negation

DOI10.1007/S00500-012-0900-YzbMATH Open1408.03039OpenAlexW2080262342MaRDI QIDQ1955481FDOQ1955481

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

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

zbMATH Keywords

residuated latticeinvolutive negationstrict axiom

Mathematics Subject Classification ID

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

Cites Work

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

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)