Semantics for analytic containment

DOI10.1023/B:STUD.0000034187.37935.24MaRDI QIDQ1876092zbMATH OpenFDO

Authors 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)

Recommendations

• Analytic implication
• scientific article; zbMATH DE number 3847358
• A simple sequent calculus for Angell's logic of analytic containment
• Paraconsistent analytic implication
• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry

Cited in

(18)

• An epistemic interpretation of paraconsistent weak Kleene logic
• Containment logics: algebraic completeness and axiomatization
• scientific article; zbMATH DE number 2097004 (Why is no real title available?)
• Angellic content
• Knowledge is closed under analytic content
• Identity and aboutness
• Truthmakers and normative conflicts
• Algebraic analysis of demodalised analytic implication
• A puzzle about epistemic value and steps towards a solution
• Paraconsistent analytic implication
• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• A simple sequent calculus for Angell's logic of analytic containment
• On the logic of factual equivalence
• A computational interpretation of conceptivism
• On a new idiom in the study of entailment
• Faulty Belnap computers and subsystems of FDE
• On question-begging and analytic content
• Correia semantics revisited

This page was built for publication: Semantics for analytic containment

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1876092)