Logics based on linear orders of contaminating values

DOI10.1093/logcom/exz009zbMath1450.03004OpenAlexW2954033833WikidataQ128036760 ScholiaQ128036760MaRDI QIDQ5213389

Damian Szmuc, Roberto Ciuni, Thomas Macaulay Ferguson

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

four-valued logicthree-valued logicsequent calculicomputation errors

Mathematics Subject Classification ID

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

Related Items (11)

Pure Variable Inclusion Logics ⋮ A duality for involutive bisemilattices ⋮ Proof theory of paraconsistent weak Kleene logic ⋮ Monstrous content and the bounds of discourse ⋮ 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 ⋮ Algebraic analysis of demodalised analytic implication ⋮ Containment logics: algebraic completeness and axiomatization ⋮ Logics of variable inclusion and the lattice of consequence relations ⋮ Exactly true and non-falsity logics meeting infectious ones

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