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)

Full work available at URL https://doi.org/10.1023/B:STUD.0000034187.37935.24

zbMATH Keywords

analytic containmentrelevant implicationsemantics

Mathematics Subject Classification ID

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

Review text

The notion of analytic containment introduced by R. B. Angell provides a kind of relevant implication whose main feature is that a disjunction is not always implied by its component. The extension of analytic containment by this usually admitted axiom on disjunction gives, in fact, rise to the relevant implication of Anderson and Belnap, which is called tautological entailment as well. By a suitably designed model theory, the author shows in this paper the completeness of the logic of first-degree analytic containment, which is a system of implicational formulas containing no implicational proper subformulas, and illustrates how the tautological entailment and classical consequence are characterized in the semantical framework.

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

(22)

• 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 a new idiom in the study of entailment
• On question-begging and analytic content
• Identity and aboutness
• Containment logics: algebraic completeness and axiomatization
• Algebraic analysis of demodalised analytic implication
• Truthmakers and normative conflicts
• On the logic of factual equivalence
• Angellic content
• Faulty Belnap computers and subsystems of FDE
• Correia semantics revisited
• scientific article; zbMATH DE number 4200171 (Why is no real title available?)
• A computational interpretation of conceptivism
• scientific article; zbMATH DE number 2097004 (Why is no real title available?)
• An epistemic interpretation of paraconsistent weak Kleene logic
• Containment logics: Algebraic Counterparts and Reduced Models
• Knowledge is closed under analytic content
• A puzzle about epistemic value and steps towards a solution
• Formalizing the conditionals of Diodorus Cronus and Chrysippus: logic and potential applications in human thinking
• Epistemic logic with partial grasp
• Paraconsistent analytic implication

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)