Switch to: References

Add citations

You must login to add citations.
  1. Structuring Co-Constructive Logic for Proofs and Refutations.James Trafford - 2016 - Logica Universalis 10 (1):67-97.
    This paper considers a topos-theoretic structure for the interpretation of co-constructive logic for proofs and refutations following Trafford :22–40, 2015). It is notoriously tricky to define a proof-theoretic semantics for logics that adequately represent constructivity over proofs and refutations. By developing abstractions of elementary topoi, we consider an elementary topos as structure for proofs, and complement topos as structure for refutation. In doing so, it is possible to consider a dialogue structure between these topoi, and also control their relation such (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics.Guillermo Badia - 2017 - Australasian Journal of Logic 14 (1).
    We provide a sucient frame-theoretic condition for a super bi-intuitionistic logic to have Maksimova's variable separation property. We conclude that bi-intuitionistic logic enjoys the property. Furthermore, we offer an algebraic characterization of the super-bi-intuitionistic logics with Maksimova's property.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark