scientific article
From MaRDI portal
Publication:3977997
zbMath0771.68087MaRDI QIDQ3977997
Andrzej Tarlecki, Beata Konikowska, Andrzej Blikle
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
three-valued logicsoftware verificationsemantic tableauxsoftware developmentsoftware specificationstrong validityGentzen-style systemdeductive system of inference rules for a three- valued logicKleene's quantifiersMcCarthy's propositional connectivesweak validity
Specification and verification (program logics, model checking, etc.) (68Q60) Many-valued logic (03B50)
Related Items (7)
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic ⋮ Inversive meadows and divisive meadows ⋮ A first order logic for partial functions ⋮ Partial functions and logics: A warning ⋮ Partial logics reconsidered: A conservative approach ⋮ Proof systems for reasoning about computation errors ⋮ Rasiowa-Sikorski deduction systems in computer science applications.
This page was built for publication:
