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

DOI10.1007/BF01418755zbMATH Open0537.68021OpenAlexW2003530245MaRDI QIDQ792750FDOQ792750

Authors: 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

Recommendations

• scientific article; zbMATH DE number 3870581
• Partiality and nondeterminacy in program proofs
• scientific article; zbMATH DE number 4200180
• Programming in three-valued logic
• Truth versus information in logic programming

zbMATH Keywords

many-valued logicnondeterminismguarded commandsprogram schematasemantics of programstruth functions

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• An algebraic approach to non-classical logics
• Title not available (Why is that?)
• Guarded commands, nondeterminacy and formal derivation of programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q792750)