Theories of truth based on four-valued infectious logics

DOI10.1093/JIGPAL/JZY057MaRDI QIDQ3386891zbMATH OpenOpenAlexWikidataFDO

Authors Bruno Da Ré, Federico Matias Pailos, Damian Szmuc

Publication date 8 January 2021

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://philarchive.org/rec/SZMTOT

zbMATH Keywords

semantic paradoxesfour-valued logicsinfectious logicssequent-calculi

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Recommendations

• Exactly true and non-falsity logics meeting infectious ones
• Conjunction and disjunction in infectious logics
• On bivalent semantics and natural deduction for some infectious logics
• Defining LFIs and LFUs in extensions of infectious logics
• Immune logics

Cited in

(16)

• A simple logical matrix and sequent calculus for Parry's logic of analytic implication
• A cartography of LFIs and truth
• Dualities for Płonka sums
• On bivalent semantics and natural deduction for some infectious logics
• Exactly true and non-falsity logics meeting infectious ones
• Logics of variable inclusion and the lattice of consequence relations
• A propositional logic with 4 values: true, false, divergent and meaningless
• Defining LFIs and LFUs in extensions of infectious logics
• A duality for involutive bisemilattices
• A generalization of Beall's off-topic interpretation
• Conjunction and disjunction in infectious logics
• A new game theoretic semantics (GTS-2) for weak Kleene logics
• Finite Hilbert systems for weak Kleene logics
• Immune logics
• Infectious and transparent emotivism
• Normalisation for some infectious logics and their relatives

This page was built for publication: Theories of truth based on four-valued infectious logics

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