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

sequent calculifour-valued logicthree-valued logiccomputation errors

Mathematics Subject Classification ID

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

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

(17)

• A duality for involutive bisemilattices
• Pure variable inclusion logics
• Proof theory of paraconsistent weak Kleene logic
• Exactly true and non-falsity logics meeting infectious ones
• Logics of variable inclusion and the lattice of consequence relations
• Algebraic analysis of demodalised analytic implication
• A generalization of Beall's off-topic interpretation
• Editorial introduction
• scientific article; zbMATH DE number 7455741 (Why is no real title available?)
• Logics of left variable inclusion and Płonka sums of matrices
• A cartography of LFIs and truth
• Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic
• Containment logics: algebraic completeness and axiomatization
• Reading conclusions conjunctively
• Monstrous content and the bounds of discourse
• Normalisation for some infectious logics and their relatives
• A simple logical matrix and sequent calculus for Parry's logic of analytic implication

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)