Semantics for analytic containment

DOI10.1023/B:STUD.0000034187.37935.24zbMath1054.03018MaRDI QIDQ1876092

Fabrice Correia

Publication date: 16 August 2004

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

semanticsanalytic containmentrelevant implication

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (10)

Angellic content ⋮ Correia semantics revisited ⋮ A simple sequent calculus for Angell's logic of analytic containment ⋮ Knowledge is closed under analytic content ⋮ A puzzle about epistemic value and steps towards a solution ⋮ ON THE LOGIC OF FACTUAL EQUIVALENCE ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ On question-begging and analytic content ⋮ Truthmakers and normative conflicts ⋮ Identity and aboutness

This page was built for publication: Semantics for analytic containment