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

DOI10.1007/S11225-017-9719-YzbMATH Open1417.03164OpenAlexW2607492266MaRDI QIDQ1685482FDOQ1685482

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 calculusanalytic containmentrelevant logicfirst-degree entailment

Mathematics Subject Classification ID

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

Cites Work

• Substructural logics: a primer
• Structural proof theory. With an appendix by Aarne Ranta
• Title not available (Why is that?)
• False though partly true -- an experiment in logic
• Semantics for analytic containment
• Angellic content
• Faulty Belnap computers and subsystems of FDE
• Truth-maker semantics for intuitionistic logic
• A story semantics for implication
• Analytic implication
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the logic of factual equivalence
• Characterizing Belnap's Logic via De Morgan's Laws
• Paraconsistent analytic implication
• Annual Meeting of the Association for Symbolic Logic, Washington, DC 1977
• A note on partial content

Cited In (7)

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

Uses Software

• Pesca

   Recommendations

• Title not available (Why is that?) 👍 👎
• A sequent calculus for a logic of contingencies 👍 👎
• A simple logical matrix and sequent calculus for Parry's logic of analytic implication 👍 👎
• Pure Sequent Calculi 👍 👎
• Title not available (Why is that?) 👍 👎
• A simple sequent calculus for nominal logic 👍 👎
• On the Construction of Analytic Sequent Calculi for Sub-classical Logics 👍 👎
• An analytic calculus for the intuitionistic logic of proofs 👍 👎
• Title not available (Why is that?) 👍 👎
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS 👍 👎

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

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