A note on admissible rules and the disjunction property in intermediate logics

DOI10.1007/s00153-011-0250-yzbMath1248.03047OpenAlexW2019860072MaRDI QIDQ661289

Alexander Citkin

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

zbMATH Keywords

quasivarietyHeyting algebradisjunction propertyadmissible ruleintermediate logic

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Quasivarieties (08C15) Intermediate logics (03B55)

Related Items

Multiple Conclusion Rules in Logics with the Disjunction Property, A Note on Extensions: Admissible Rules via Semantics, 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, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item