A generalization of Beall's off-topic interpretation

DOI10.1007/S11225-023-10075-0MaRDI QIDQ6597133zbMATH OpenFDO

Authors Yang Song, Hitoshi Omori, Jonas Rafael Becker Arenhart, Satoshi Tojo

Publication date 3 September 2024

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S11225-023-10075-0

zbMATH Keywords

\textbf{FDE}infectious logicslogic of Catuskotimany-valued logicson-topic/off-topicweak Kleene logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• 40 years of FDE: an introductory overview
• A computational interpretation of conceptivism
• A Note on Goddard and Routley's Significance Logic
• An epistemic interpretation of paraconsistent weak Kleene logic
• Conjunction and disjunction in infectious logics
• Containment logics: algebraic completeness and axiomatization
• Defining LFIs and LFUs in extensions of infectious logics
• Dimensions of truth
• Exactly true and non-falsity logics meeting infectious ones
• FDE as the one true logic
• scientific article; zbMATH DE number 3882408 (Why is no real title available?)
• scientific article; zbMATH DE number 1989647 (Why is no real title available?)
• scientific article; zbMATH DE number 2109541 (Why is no real title available?)
• scientific article; zbMATH DE number 3061149 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Logics based on linear orders of contaminating values
• Logics of left variable inclusion and Płonka sums of matrices
• Logics of nonsense and Parry systems
• Modeling the interaction of computer errors by four-valued contaminating logics
• Natural deduction systems for logics in the FDE family
• Off-topic: a new interpretation of weak Kleene logic
• On a three-valued logical calculus and its application to the analysis of contradictions.
• Paraconsistency and analyticity
• Plurivalent logics
• Proof theory of paraconsistent weak Kleene logic
• Semantical analysis of weak Kleene logics
• Sequent calculi for the classical fragment of Bochvar and Halldén's nonsense logics
• Structural proof theory for first-order weak Kleene logics
• Theories of truth based on four-valued infectious logics
• Tolerant, classical, strict

Cited in

(3)

• Modal weak Kleene logics through variables inclusion
• Craig interpolation for awareness logics
• Globally rigid awareness logic with static and dynamic bounded abstraction operators

This page was built for publication: A generalization of Beall's off-topic interpretation

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