Admissible rules and the Leibniz hierarchy
From MaRDI portal
Publication:2374395
DOI10.1215/00294527-3671151zbMath1357.03041WikidataQ123161990 ScholiaQ123161990MaRDI QIDQ2374395
Publication date: 15 December 2016
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1472746139
algebraizable logic; admissible rule; deductive system; structural completeness; reduced matrix; Leibniz hierarchy; BCIW
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
08C10: Axiomatic model classes
03B22: Abstract deductive systems
03G27: Abstract algebraic logic
Related Items
THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE, HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS, Singly generated quasivarieties and residuated structures, VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Almost structural completeness; an algebraic approach, Structural completeness in relevance logics, Varieties of De Morgan monoids: minimality and irreducible algebras, Hereditarily structurally complete superintuitionistic deductive systems, Structural completeness in many-valued logics with rational constants, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality