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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Studia logica Jg. 91; H. 2; S. 273 - 293
Hauptverfasser:	Avron, Arnon, Konikowska, Beata
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Dordrecht Springer 01.03.2009 Springer Netherlands
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!