A simple logical matrix and sequent calculus for Parry's logic of analytic implication

DOI10.1007/s11225-020-09926-xOpenAlexW3128730758MaRDI QIDQ2243548

Damian Szmuc

Publication date: 11 November 2021

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

Full work available at URL: https://philpapers.org/rec/SZMASL

zbMATH Keywords

sequent calculusrelevant logicfirst-degree entailmentlogical matrixanalytic implication

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Pure Variable Inclusion Logics ⋮ The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Angellic content
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• Simple consequence relations
• Proof theory. 2nd ed
• Analytic implication
• The semantics and proof theory of linear logic
• Conjunction and disjunction in infectious logics
• 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
• Logics of nonsense and Parry systems
• Proof theory of paraconsistent weak Kleene logic
• Logics of left variable inclusion and Płonka sums of matrices
• Modeling the interaction of computer errors by four-valued contaminating logics
• A duality for involutive bisemilattices
• Faulty Belnap computers and subsystems of FDE
• Relevant Logics Obeying Component Homogeneity
• A Note on Goddard and Routley's Significance Logic
• Theories of truth based on four-valued infectious logics
• A computational interpretation of conceptivism
• Defining LFIs and LFUs in extensions of infectious logics
• Logics based on linear orders of contaminating values
• An Epistemic Interpretation of Paraconsistent Weak Kleene Logic
• Semantical analysis of weak Kleene logics
• OUP accepted manuscript

This page was built for publication: A simple logical matrix and sequent calculus for Parry's logic of analytic implication