Defining LFIs and LFUs in extensions of infectious logics

DOI10.1080/11663081.2017.1290488zbMath1398.03138OpenAlexW2591448602MaRDI QIDQ4586167

Damian Szmuc

Publication date: 12 September 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2017.1290488

zbMATH Keywords

logics of formal inconsistencyclassical negationinfectious logicslogics of nonsenselogics of formal undeterminedness

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (17)

Dualities for Płonka sums ⋮ Generalized correspondence analysis for three-valued logics ⋮ A duality for involutive bisemilattices ⋮ Monstrous content and the bounds of discourse ⋮ On \(\mathcal{F} \)-systems: a graph-theoretic model for paradoxes involving a falsity predicate and its application to argumentation frameworks ⋮ Unnamed Item ⋮ 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 ⋮ Semantical analysis of weak Kleene logics ⋮ An Epistemic Interpretation of Paraconsistent Weak Kleene Logic ⋮ Containment logics: algebraic completeness and axiomatization ⋮ The Płonka product of topological spaces ⋮ Meaningless divisions ⋮ Logics of variable inclusion and the lattice of consequence relations ⋮ Exactly true and non-falsity logics meeting infectious ones ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras ⋮ Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion

Cites Work

• Classical negation and expansions of Belnap-Dunn logic
• Paraconsistent analytic implication
• Non-deterministic semantics for logics with a consistency operator
• A semantical analysis of the calculi \(C_n\)
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• Conjunction and disjunction in infectious logics
• Extensions of Priest-da Costa logic
• Logics of nonsense and Parry systems
• Paraconsistent logic: consistency, contradiction and negation
• Maximal three-valued clones with the Gupta-Belnap fixed point property
• Logic of antinomies
• Faulty Belnap computers and subsystems of FDE
• Paraconsistency and analyticity
• A computational interpretation of conceptivism
• On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus
• Logics of Formal Inconsistency
• On the Philosophy and Mathematics of the Logics of Formal Inconsistency
• da Costa Meets Belnap and Nelson
• Multi-valued Calculi for Logics Based on Non-determinism
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Defining LFIs and LFUs in extensions of infectious logics