A simple sequent calculus for Angell's logic of analytic containment
From MaRDI portal
Publication:1685482
DOI10.1007/S11225-017-9719-YzbMATH Open1417.03164OpenAlexW2607492266MaRDI QIDQ1685482FDOQ1685482
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
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
- 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
- Grounding and truth-functions
- 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
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)
