Logics based on linear orders of contaminating values

DOI10.1093/LOGCOM/EXZ009MaRDI QIDQ5213389zbMATH OpenOpenAlexWikidataFDO

Authors Roberto Ciuni, Thomas Macaulay Ferguson, Damian Szmuc

Publication date 3 February 2020

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exz009

zbMATH Keywords

computation errorsfour-valued logicsequent calculithree-valued logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Three-valued Kleene logics and three-element chains
• Functional interdependence of regular Kleene logics
• Semantical analysis of weak Kleene logics
• Kleene's Logic, Generalized
• scientific article; zbMATH DE number 590999

Cited in

(22)

• Containment logics: algebraic completeness and axiomatization
• 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
• Algebraic analysis of demodalised analytic implication
• Modeling the interaction of computer errors by four-valued contaminating logics
• A duality for involutive bisemilattices
• Monstrous content and the bounds of discourse
• Logics of variable inclusion and the lattice of consequence relations
• Exactly true and non-falsity logics meeting infectious ones
• A game theoretical semantics for logics of nonsense
• Pure variable inclusion logics
• A generalization of Beall's off-topic interpretation
• A cartography of LFIs and truth
• Editorial introduction
• Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
• Reading conclusions conjunctively
• Normalisation for some infectious logics and their relatives
• Insensitive games: game semantics for modal insensitivity
• Care-theoretic semantics
• Generalized explosion principles
• Left variable inclusion logics associated with classical logic

This page was built for publication: Logics based on linear orders of contaminating values

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