Pages that link to "Item:Q3605532"
From MaRDI portal
The following pages link to Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (Q3605532):
Displayed 8 items.
- On rules (Q266650) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Proof theory for admissible rules (Q1023055) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- A meta-logic of inference rules: Syntax (Q2987742) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- A Note on Extensions: Admissible Rules via Semantics (Q3455846) (← links)