Switch to: References

Add citations

You must login to add citations.
  1. Algebraic structures formalizing the logic with unsharp implication and negation.Ivan Chajda & Helmut Länger - forthcoming - Logic Journal of the IGPL.
    It is well-known that intuitionistic logics can be formalized by means of Heyting algebras, i.e. relatively pseudocomplemented semilattices. Within such algebras the logical connectives implication and conjunction are formalized as the relative pseudocomplement and the semilattice operation meet, respectively. If the Heyting algebra has a bottom element |$0$|⁠, then the relative pseudocomplement with respect to |$0$| is called the pseudocomplement and it is considered as the connective negation in this logic. Our idea is to consider an arbitrary meet-semilattice with |$0$| (...)
    Download  
     
    Export citation  
     
    Bookmark