An axiomatic version of positive semilattice relevance logic

DOI10.2307/2273616zbMATH Open0479.03012OpenAlexW2023402716MaRDI QIDQ3936718FDOQ3936718

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

completenessaxiomatisationsemilattice semanticspositive propositional semanticsrefutation of non-theoremsrule schemeUrquhart systemsvalid sentences

Mathematics Subject Classification ID

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

Cited In (8)

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

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)