Operational semantics for positive R

DOI10.1305/ndjfl/1093637771zbMath0664.03017OpenAlexW2126017509MaRDI QIDQ1115417

I. L. Humberstone

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

zbMATH Keywords

fusionrelevance logicsdisjunctionsemantic completenesssentential constantssemilattice semanticsquantified relevant logicR Minglesemantics for the positive fragment of the relevant logic R

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (12)

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

This page was built for publication: Operational semantics for positive R