Year:

  1.  8
    From Hilbert Proofs to Consecutions and Back.Tore Fjetland Øgaard - 2021 - Australasian Journal of Logic 18 (2):51-72.
    Restall set forth a "consecution" calculus in his "An Introduction to Substructural Logics." This is a natural deduction type sequent calculus where the structural rules play an important role. This paper looks at different ways of extending Restall's calculus. It is shown that Restall's weak soundness and completeness result with regards to a Hilbert calculus can be extended to a strong one so as to encompass what Restall calls proofs from assumptions. It is also shown how to extend the calculus (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Information Flow In Logics in the Vicinity of BB.Andrew Tedder - 2021 - Australasian Journal of Logic 18 (1):1-24.
    Situation theory, and channel theory in particular, have been used to provide motivational accounts of the ternary relation semantics of relevant, substructural, and various non-classical logics. Among the constraints imposed by channel-theory, we must posit a certain existence criterion for situations which result from the composites of multiple channels (this is used in modeling information flow). In associative non-classical logics, it is relatively easy to show that a certain such condition is met, but the problem is trickier in non-associative logics. (...)
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues