Switch to: References

Add citations

You must login to add citations.
  1. Bi-intuitionistic implication structures.Daniel Skurt - 2018 - Journal of Applied Non-Classical Logics 28 (1):20-34.
    In this contribution, we will present some results concerning the connectives of bi-intuitionistic logic in the setting of Arnold Koslow’s implication structures. Furthermore, we will present soundness and completeness results of Koslow’s implication structures with respect to bi-intuitionistic logic.
    Download  
     
    Export citation  
     
    Bookmark   1 citation