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

DOI10.1007/S11225-017-9719-YMaRDI QIDQ1685482zbMATH OpenOpenAlexFDO

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

Recommendations

• scientific article; zbMATH DE number 1950262
• 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. Analyticity and decision procedure
• scientific article; zbMATH DE number 1223614
• 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
• scientific article; zbMATH DE number 2042614
• BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS

Cites work

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

Cited in

(9)

• Idempotent variations on the theme of exclusive disjunction
• Sextus Empiricus' fourth conditional and containment logic
• Correia semantics revisited
• 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
• Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC
• Logics of synonymy

Describes a project that uses

Uses Software

• Pesca

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)