A simple sequent calculus for Angell's logic of analytic containment

DOI10.1007/s11225-017-9719-yzbMath1417.03164OpenAlexW2607492266MaRDI QIDQ1685482

Rohan French

Publication date: 14 December 2017

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

Full work available at URL: https://doi.org/10.1007/s11225-017-9719-y

zbMATH Keywords

sequent calculusrelevant logicanalytic containmentfirst-degree entailment

Mathematics Subject Classification ID

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

Related Items (6)

The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) ⋮ Logics of synonymy ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Sextus Empiricus' Fourth Conditional and Containment Logic ⋮ Simple hyperintensional belief revision ⋮ Idempotent variations on the theme of exclusive disjunction

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Angellic content
• Truth-maker semantics for intuitionistic logic
• Paraconsistent analytic implication
• A story semantics for implication
• Analytic implication
• Substructural logics: a primer
• False though partly true -- an experiment in logic
• Semantics for analytic containment
• ON THE LOGIC OF FACTUAL EQUIVALENCE
• Faulty Belnap computers and subsystems of FDE
• Annual Meeting of the Association for Symbolic Logic, Washington, DC 1977
• Characterizing Belnap's Logic via De Morgan's Laws
• A note on partial content

This page was built for publication: A simple sequent calculus for Angell's logic of analytic containment