A note on admissible rules and the disjunction property in intermediate logics
From MaRDI portal
Publication:661289
DOI10.1007/s00153-011-0250-yzbMath1248.03047MaRDI QIDQ661289
Publication date: 10 February 2012
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-011-0250-y
06D20: Heyting algebras (lattice-theoretic aspects)
08C15: Quasivarieties
03B55: Intermediate logics
Related Items
DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, Multiple Conclusion Rules in Logics with the Disjunction Property, On unification and admissible rules in Gabbay-de Jongh logics, Admissibility and refutation: some characterisations of intermediate logics, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), Hereditarily structurally complete superintuitionistic deductive systems, Deductive systems with multiple-conclusion rules and the disjunction property, A Note on Extensions: Admissible Rules via Semantics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Intermediate logics and Visser's rules
- Admissibility of logical inference rules
- Varieties of monadic Heyting algebras. I
- On the rules of intermediate logics
- On the admissible rules of intuitionistic propositional logic
- ON ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC