Pages that link to "Item:Q5957911"
From MaRDI portal
The following pages link to A(nother) characterization of intuitionistic propositional logic (Q5957911):
Displayed 15 items.
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- An explicit basis for admissible inference rules in table modal logics of width 2 (Q431673) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Intermediate logics and Visser's rules (Q558441) (← links)
- Admissible inference rules and semantic property of modal logics (Q823963) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Rules with parameters in modal logic. I. (Q2346953) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- Globally admissible inference rules (Q2685547) (← links)
- (Q3384899) (← links)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- A Note on Extensions: Admissible Rules via Semantics (Q3455846) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Logical consecutions in discrete linear temporal logic (Q5486245) (← links)
- An explicit basis for \textit{WCP}-globally admissible inference rules (Q6199357) (← links)