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ženo v:

Podrobná bibliografie
Vydáno v:	Studia logica Ročník 91; číslo 2; s. 273 - 293
Hlavní autoři:	Avron, Arnon, Konikowska, Beata
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Dordrecht Springer 01.03.2009 Springer Netherlands
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!