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

DOI10.1007/978-3-662-59533-6_8MaRDI QIDQ2303584zbMATH OpenOpenAlexFDO

Authors Roberto Ciuni, Thomas Macaulay Ferguson, Damian Szmuc

Publication date 4 March 2020

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

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Logics based on linear orders of contaminating values
• Proof systems for reasoning about computation errors
• A four-valued logic for reasoning about finite and infinite computation errors in programs
• A calculus for four-valued sequential logic
• Functional interdependence of regular Kleene logics

Cited in

(6)

• 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
• Computational Errors and Suspension in a PWK Epistemic Agent
• A generalization of Beall's off-topic interpretation
• Modal weak Kleene logics: axiomatizations and relational semantics

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

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