An axiomatic version of positive semilattice relevance logic

DOI10.2307/2273616zbMath0479.03012OpenAlexW2023402716MaRDI QIDQ3936718

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)

Related Items

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