Nondeterministic three-valued logic: isotonic and guarded truth-functions

DOI10.1007/BF01418755zbMath0537.68021OpenAlexW2003530245MaRDI QIDQ792750

Martin Wirsing, Peter Paeppinghaus

Publication date: 1983

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01418755

zbMATH Keywords

many-valued logicnondeterminismguarded commandsprogram schematasemantics of programstruth functions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Many-valued logic (03B50)

Cites Work

• An algebraic approach to non-classical logics
• Guarded commands, nondeterminacy and formal derivation of programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Nondeterministic three-valued logic: isotonic and guarded truth-functions