The following pages link to (Q5457385):
Displaying 6 items.
- Proof analysis in intermediate logics (Q661286) (← links)
- The Church-Fitch knowability paradox in the light of structural proof theory (Q2443327) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations (Q4999459) (← links)
- Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)
- Monoidal logics: completeness and classical systems (Q5379321) (← links)
