Switch to: Citations

Add references

You must login to add references.
  1. An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.
    It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations in Heyting algebras with additional operations. In all cases, the double negation of such a connective is equivalent to a formula of intuitionistic calculus. Thus, under the excluded third law it collapses to a classical formula, showing that this condition in Gabbay's definition is redundant. Moreover, such connectives can not be interpreted in all Heyting (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • (1 other version)On The Role of The Polynomial →Y in Some Implicative Algebras.Antoni Torrens - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):117-122.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)On The Role of The Polynomial (X → Y) → Y in Some Implicative Algebras.Antoni Torrens - 1988 - Mathematical Logic Quarterly 34 (2):117-122.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic.Roberto Cignoli & Antoni Torrens - 2003 - Archive for Mathematical Logic 42 (4):361-370.
    Using the theory of BL-algebras, it is shown that a propositional formula ϕ is derivable in Łukasiewicz infinite valued Logic if and only if its double negation ˜˜ϕ is derivable in Hájek Basic Fuzzy logic. If SBL is the extension of Basic Logic by the axiom (φ & (φ→˜φ)) → ψ, then ϕ is derivable in in classical logic if and only if ˜˜ ϕ is derivable in SBL. Axiomatic extensions of Basic Logic are in correspondence with subvarieties of the (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations