Modal consequence relations extending S4.3: an application of projective unification
From MaRDI portal
Publication:2374393
DOI10.1215/00294527-3636512zbMath1403.03029OpenAlexW2496544547MaRDI QIDQ2374393
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/1468952203
quasivarietiesadmissible rulesconsequence relationsstructural completeness\(\mathbf{S4.3}\)projective unification
Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Mechanization of proofs and logical operations (03B35) Quasivarieties (08C15)
Related Items (4)
Almost structural completeness; an algebraic approach ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Ideal Related Algebras and Their Logics Extended Abstract ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
This page was built for publication: Modal consequence relations extending S4.3: an application of projective unification