Operational semantics for positive R
From MaRDI portal
Publication:1115417
DOI10.1305/ndjfl/1093637771zbMath0664.03017OpenAlexW2126017509MaRDI QIDQ1115417
Publication date: 1988
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093637771
fusionrelevance logicsdisjunctionsemantic completenesssentential constantssemilattice semanticsquantified relevant logicR Minglesemantics for the positive fragment of the relevant logic R
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
Disjunction and negation in information based semantics, What is a relevant connective?, TRANSLATIONS BETWEEN LINEAR AND TREE NATURAL DEDUCTION SYSTEMS FOR RELEVANT LOGICS, COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS, Priest on Negation, Expressive power and semantic completeness: Boolean connectives in modal logic, Investigations into a left-structural right-substructural sequent calculus, A reinterpretation of the semilattice semantics with applications, Supervenience, Dependence, Disjunction, An incompleteness theorem for modal relevant logics, Geometric Models for Relevant Logics, Revisiting Semilattice Semantics