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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Studia logica Ročník 91; číslo 2; s. 273 - 293
Hlavní autori:	Avron, Arnon, Konikowska, Beata
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Dordrecht Springer 01.03.2009 Springer Netherlands
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!