Switch to: References

Add citations

You must login to add citations.
  1. Relational proof system for relevant logics.Ewa Orlowska - 1992 - Journal of Symbolic Logic 57 (4):1425-1440.
    A method is presented for constructing natural deduction-style systems for propositional relevant logics. The method consists in first translating formulas of relevant logics into ternary relations, and then defining deduction rules for a corresponding logic of ternary relations. Proof systems of that form are given for various relevant logics. A class of algebras of ternary relations is introduced that provides a relation-algebraic semantics for relevant logics.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Dynamic logic with program specifications and its relational proof system.Ewa Orlowska - 1993 - Journal of Applied Non-Classical Logics 3 (2):147-171.
    ABSTRACT Propositional dynamic logic with converse and test, is enriched with complement, intersection and relational operations of weakest prespecification and weakest postspecification. Relational deduction system for the logic is given based on its interpretation in the relational calculus. Relational interpretation of the operators ?repeat? and ?loop? is given.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Kripke semantics for logics with BCK implication.Wendy MacCaull - 1996 - Bulletin of the Section of Logic 25:41-51.
    Download  
     
    Export citation  
     
    Bookmark   2 citations