Pages that link to "Item:Q5957911"

The following pages link to A(nother) characterization of intuitionistic propositional logic (Q5957911):

Displayed 13 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)
• (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)