Proof systems for super-strict implication
G Gherardi, E Orlandelli, E Raidl - Studia Logica, 2024 - Springer
This paper studies proof systems for the logics of super-strict implication ST 2–ST 5, which
correspond to CI Lewis' systems S 2–S 5 freed of paradoxes of strict implication. First, Hilbert …
correspond to CI Lewis' systems S 2–S 5 freed of paradoxes of strict implication. First, Hilbert …
[PDF][PDF] Proof Systems for Super-Strict Implication
E Raidl - academia.edu
This paper studies proof systems for the logics of super-strict implication ST2–ST5, which
correspond to CI Lewis' systems S2–S5 freed of paradoxes of strict implication. First, Hilbert …
correspond to CI Lewis' systems S2–S5 freed of paradoxes of strict implication. First, Hilbert …