Switch to: References

Add citations

You must login to add citations.
  1. 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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations