Pages that link to "Item:Q558441"
From MaRDI portal
The following pages link to Intermediate logics and Visser's rules (Q558441):
Displaying 31 items.
- On rules (Q266650) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- A syntactic approach to unification in transitive reflexive modal logics (Q286704) (← links)
- Consequence relations and admissible rules (Q300835) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Admissibility and refutation: some characterisations of intermediate logics (Q481867) (← links)
- Finite frames fail: how infinity works its way into the semantics of admissibility (Q514509) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- A note on admissible rules and the disjunction property in intermediate logics (Q661289) (← links)
- Admissible inference rules and semantic property of modal logics (Q823963) (← links)
- Complexity of admissible rules (Q868660) (← links)
- Proof theory for admissible rules (Q1023055) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- Sugihara algebras: admissibility algebras via the test spaces method (Q2301885) (← links)
- Deductive systems with multiple-conclusion rules and the disjunction property (Q2306638) (← links)
- Admissibility via natural dualities (Q2349950) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Realisability for infinitary intuitionistic set theory (Q2700803) (← links)
- (Q3384899) (← links)
- UNIFICATION IN INTERMEDIATE LOGICS (Q3450801) (← links)
- Tutorial on Admissible Rules in Gudauri (Q3455180) (← links)
- A Note on Extensions: Admissible Rules via Semantics (Q3455846) (← links)
- Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics (Q3605532) (← links)
- Canonical rules (Q3655251) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Multiple Conclusion Rules in Logics with the Disjunction Property (Q5283419) (← links)
- The basic intuitionistic logic of proofs (Q5294019) (← links)
- PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS (Q5737940) (← links)
- THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC (Q6203558) (← links)
