An axiomatic version of positive semilattice relevance logic

DOI10.2307/2273616MaRDI QIDQ3936718zbMATH OpenOpenAlexFDO

Authors G. Charlwood

Publication date 1981

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273616

zbMATH Keywords

axiomatisationcompletenesspositive propositional semanticsrefutation of non-theoremsrule schemesemilattice semanticsUrquhart systemsvalid sentences

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cited in

(10)

• On purported Gentzen formulations of two positive relevant logics
• A conservative negation extension of positive semilattice logic without the finite model property
• A characteristic frame for positive intuitionistic and relevance logic
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Revisiting Semilattice Semantics
• Comments on the Contributions
• Four relevant Gentzen systems
• TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS
• Truth-maker semantics for some substructural logics
• Relevant S is undecidable

This page was built for publication: An axiomatic version of positive semilattice relevance logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3936718)