Pure Variable Inclusion Logics

DOI10.12775/LLP.2021.015zbMath1496.03117OpenAlexW3216921040MaRDI 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

zbMATH Keywords

Płonka sumsweak Kleene logicssignificance logicslogics of variable inclusionanalytic entailment

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Related Items (1)

Meaningless divisions

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

This page was built for publication: Pure Variable Inclusion Logics