Nondeterministic three-valued logic: isotonic and guarded truth-functions (Q792750)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nondeterministic three-valued logic: isotonic and guarded truth-functions |
scientific article |
Statements
Nondeterministic three-valued logic: isotonic and guarded truth-functions (English)
0 references
1983
0 references
Nondeterministic programs occurring in recently developed programming languages define nondeterminate partial functions. Formulas (Boolean expressions) of such nondeterministic languages are interpreted by a nonempty subset of \(\{\) T (''true''), F (''false''), U (''undefined'')\(\}\). As a semantic basis for the propositional part of a corresponding nondeterministic three-valued logic we study the notion of a truth- function over \(\{\) T,F,\(U\}\) which is computable by a nondeterministic evaluation procedure. The main result is that these truth-functions are precisely the functions satisfying four basic properties, called \(\subseteq\)-isotonic, \(\subseteq^-\)-isotonic, hereditarily guarded, and hereditarily guard-using, and that a function satisfies these properties iff it is explicitly definable (in a certain normal form) from ''if..then..else..fi'', binary choice, and constants.
0 references
semantics of programs
0 references
many-valued logic
0 references
nondeterminism
0 references
guarded commands
0 references
truth functions
0 references
program schemata
0 references