Switch to: References

Add citations

You must login to add citations.
  1. Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
    Substructural logics are logics obtained from a sequent formulation of intuitionistic or classical logic by rejecting some structural rules. The substructural logics considered here are linear logic, relevant logic and BCK logic. It is proved that first-order variants of these logics with an intuitionistic negation can be embedded by modal translations into S4-type extensions of these logics with a classical, involutive, negation. Related embeddings via translations like the double-negation translation are also considered. Embeddings into analogues of S4 are obtained with (...)
    Direct download (6 more)  
    Export citation  
    Bookmark   8 citations  
  • Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic.Neil Tennant - 1987 - Journal of Symbolic Logic 52 (3):665-680.
  • The Relevance of Premises to Conclusions of Core Proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.