Proof Systems for Reasoning about Computation Errors

In the paper we examine the use of non-classical truth values for dealing with computation errors in program specification and validation. In that context, 3-valued McCarthy logic is suitable for handling lazy sequential computation, while 3-valued Kleene logic can be used for reasoning about parall...

Full description

Saved in:

Bibliographic Details
Published in:	Studia logica Vol. 91; no. 2; pp. 273 - 293
Main Authors:	Avron, Arnon, Konikowska, Beata
Format:	Journal Article
Language:	English
Published:	Dordrecht Springer 01.03.2009 Springer Netherlands
Subjects:	Computational Linguistics Determinism Education Error rates Logic Logical disjunction Logical theorems Mathematical Logic and Foundations Philosophy Reasoning Semantics Sequent calculus Sequents Truth tables parallel computation four-valued logics non-deterministic matrices computation errors lazy sequential computation sequent calculi three-valued logics
ISSN:	0039-3215, 1572-8730
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!