Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)Proof Systems for Super- Strict Implication.Guido Gherardi, Eugenio Orlandelli & Eric Raidl - 2023 - Studia Logica 112 (1):249-294.
    This paper studies proof systems for the logics of super-strict implication ST2–ST5, which correspond to C.I. Lewis’ systems S2–S5 freed of paradoxes of strict implication. First, Hilbert-style axiomatic systems are introduced and shown to be sound and complete by simulating STn in Sn and backsimulating Sn in STn, respectively(for n=2,...,5). Next, G3-style labelled sequent calculi are investigated. It is shown that these calculi have the good structural properties that are distinctive of G3-style calculi, that they are sound and complete, and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Proof Systems for Super- Strict Implication.Guido Gherardi, Eugenio Orlandelli & Eric Raidl - 2024 - Studia Logica 112 (1):249-294.
    This paper studies proof systems for the logics of super-strict implication \(\textsf{ST2}\) – \(\textsf{ST5}\), which correspond to C.I. Lewis’ systems \(\textsf{S2}\) – \(\textsf{S5}\) freed of paradoxes of strict implication. First, Hilbert-style axiomatic systems are introduced and shown to be sound and complete by simulating \(\textsf{STn}\) in \(\textsf{Sn}\) and backsimulating \(\textsf{Sn}\) in \(\textsf{STn}\), respectively (for \({\textsf{n}} =2, \ldots, 5\) ). Next, \(\textsf{G3}\) -style labelled sequent calculi are investigated. It is shown that these calculi have the good structural properties that are distinctive (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation