Pages that link to "Item:Q5213665"
From MaRDI portal
The following pages link to Semantical Approach to Cut Elimination and Subformula Property in Modal Logic (Q5213665):
Displaying 3 items.
- From the subformula property to cut-admissibility in propositional sequent calculi (Q4612444) (← links)
- Generic Modal Cut Elimination Applied to Conditional Logics (Q5902296) (← links)
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic (Q6560406) (← links)
