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

DOI10.1007/S11225-020-09926-XOpenAlexW3128730758MaRDI QIDQ2243548FDOQ2243548

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

Recommendations

• Paraconsistency and analyticity
• Analytic implication
• scientific article; zbMATH DE number 2097004
• Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
• Paraconsistent analytic implication

zbMATH Keywords

sequent calculusrelevant logicfirst-degree entailmentlogical matrixanalytic implication

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• The semantics and proof theory of linear logic
• The connectives
• Title not available (Why is that?)
• Proof theory. 2nd ed
• Angellic content
• Faulty Belnap computers and subsystems of FDE
• Analytic implication
• Logics of nonsense and Parry systems
• A computational interpretation of conceptivism
• Title not available (Why is that?)
• Title not available (Why is that?)
• Simple consequence relations
• A duality for involutive bisemilattices
• Abstract algebraic logic. An introductory textbook
• Proof theory of paraconsistent weak Kleene logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
• Characterizing logical consequence in paraconsistent weak Kleene
• On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
• Plurivalent logics
• Characterizing logical consequence in many-valued logic
• An epistemic interpretation of paraconsistent weak Kleene logic
• Semantical analysis of weak Kleene logics
• Conjunction and disjunction in infectious logics
• Relevant logics obeying component homogeneity
• Theories of truth based on four-valued infectious logics
• Defining LFIs and LFUs in extensions of 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logics of left variable inclusion and Płonka sums of matrices
• Logics based on linear orders of contaminating values
• Modeling the interaction of computer errors by four-valued contaminating logics
• A Note on Goddard and Routley's Significance Logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
• A simple sequent calculus for Angell's logic of analytic containment
• Normalisation for some infectious logics and their relatives
• Pure variable inclusion logics

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

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