Modeling the interaction of computer errors by four-valued contaminating logics

DOI10.1007/978-3-662-59533-6_8OpenAlexW2951972934MaRDI QIDQ2303584

Damian Szmuc, Thomas Macaulay Ferguson, Roberto Ciuni

Publication date: 4 March 2020

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

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (3)

Proof theory of paraconsistent weak Kleene logic ⋮ A simple logical matrix and sequent calculus for Parry's logic of analytic implication ⋮ Exactly true and non-falsity logics meeting infectious ones

This page was built for publication: Modeling the interaction of computer errors by four-valued contaminating logics