Switch to: References

Add citations

You must login to add citations.
  1. Predicate Logical Extensions of some Subintuitionistic Logics.Ernst Zimmermann - 2009 - Studia Logica 91 (1):131-138.
    The paper presents predicate logical extensions of some subintuitionistic logics. Subintuitionistic logics result if conditions of the accessibility relation in Kripke models for intuitionistic logic are dropped. The accessibility relation which interprets implication in models for the propositional base subintuitionistic logic considered here is neither persistent on atoms, nor reflexive, nor transitive. Strongly complete predicate logical extensions are modeled with a second accessibility relation, which is a partial order, for the interpretation of the universal quantifier.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation