Switch to: References

Add citations

You must login to add citations.
  1. Logical Multilateralism.Heinrich Wansing & Sara Ayhan - 2023 - Journal of Philosophical Logic 52 (6):1603-1636.
    In this paper we will consider the existing notions of bilateralism in the context of proof-theoretic semantics and propose, based on our understanding of bilateralism, an extension to logical multilateralism. This approach differs from what has been proposed under this name before in that we do not consider multiple speech acts as the core of such a theory but rather multiple consequence relations. We will argue that for this aim the most beneficial proof-theoretical realization is to use sequent calculi with (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Translations between linear and tree natural deduction systems for relevant logics.Shawn Standefer - 2021 - Review of Symbolic Logic 14 (2):285 - 306.
    Anderson and Belnap presented indexed Fitch-style natural deduction systems for the relevant logics R, E, and T. This work was extended by Brady to cover a range of relevant logics. In this paper I present indexed tree natural deduction systems for the Anderson–Belnap–Brady systems and show how to translate proofs in one format into proofs in the other, which establishes the adequacy of the tree systems.
    Download  
     
    Export citation  
     
    Bookmark