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

DOI10.1007/s00153-011-0250-yzbMath1248.03047MaRDI 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

quasivariety; Heyting algebra; disjunction property; admissible rule; intermediate logic

Mathematics Subject Classification ID

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