Switch to: References

Add citations

You must login to add citations.
  1. A Characteristic Frame for Positive Intuitionistic and Relevance Logic.Yale Weiss - 2020 - Studia Logica 109 (4):687-699.
    I show that the lattice of the positive integers ordered by division is characteristic for Urquhart’s positive semilattice relevance logic; that is, a formula is valid in positive semilattice relevance logic if and only if it is valid in all models over the positive integers ordered by division. I show that the same frame is characteristic for positive intuitionistic logic, where the class of models over it is restricted to those satisfying a heredity condition. The results of this article highlight (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation