Pure Variable Inclusion Logics
From MaRDI portal
Publication:5066089
DOI10.12775/LLP.2021.015zbMath1496.03117MaRDI QIDQ5066089
Michele Pra Baldi, Francesco Paoli, Damian Szmuc
Publication date: 29 March 2022
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.12775/llp.2021.015
Płonka sums; weak Kleene logics; significance logics; logics of variable inclusion; analytic entailment
03B60: Other nonclassical logic
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the infinite-valued Łukasiewicz logic that preserves degrees of truth
- Selfextensional logics with a conjunction
- Taking degrees of truth seriously
- Theory of logical calculi. Basic theory of consequence operations
- Meaning and proscription in formal logic. Variations on the propositional logic of William T. Parry
- Rivals to Belnap-Dunn logic on interlaced trilattices
- Partiality and its dual
- Logics of nonsense and Parry systems
- Simple hyperintensional belief revision
- Containment logics: algebraic completeness and axiomatization
- Relating semantics as fine-grained semantics for intensional logics
- Proof theory of paraconsistent weak Kleene logic
- Logics of left variable inclusion and Płonka sums of matrices
- A simple logical matrix and sequent calculus for Parry's logic of analytic implication
- A modification of Parry's analytic implication
- Relevant Logics Obeying Component Homogeneity
- A Note on Goddard and Routley's Significance Logic
- Begründung einer strengen Implikation
- On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
- Extensions of paraconsistent weak Kleene logic
- Sextus Empiricus' Fourth Conditional and Containment Logic
- Logics based on linear orders of contaminating values
- On a method of construction of abstract algebras
- Deducibility and many-valuedness
- Semantical analysis of weak Kleene logics