Switch to: References

Add citations

You must login to add citations.
  1. Commutative integral bounded residuated lattices with an added involution.Roberto Cignoli & Francesc Esteva - 2010 - Annals of Pure and Applied Logic 161 (2):150-160.
    A symmetric residuated lattice is an algebra such that is a commutative integral bounded residuated lattice and the equations x=x and =xy are satisfied. The aim of the paper is to investigate the properties of the unary operation ε defined by the prescription εx=x→0. We give necessary and sufficient conditions for ε being an interior operator. Since these conditions are rather restrictive →0)=1 is satisfied) we consider when an iteration of ε is an interior operator. In particular we consider the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Distinguishing standard SBL‐algebras with involutive negations by propositional formulas.Zuzana Haniková & Petr Savický - 2008 - Mathematical Logic Quarterly 54 (6):579-596.
    Propositional fuzzy logics given by a combination of a continuous SBL t-norm with finitely many idempotents and of an involutive negation are investigated. A characterization of continuous t-norms which, in combination with different involutive negations, yield either isomorphic algebras or algebras with distinct and incomparable sets of propositional tautologies is presented.
    Download  
     
    Export citation  
     
    Bookmark