Abstract
We propose a combination of Bochvar's strict three-valued logic, McCarthy's sequential three-valued logic, and process algebra via the conditional guard construct. This combination entails the introduction of a new constant meaningless in process algebra. We present an operational semantics in SOS-style, and a completeness result for ACP with conditional guard construct and the proposed logic.
Citation
Jan A. Bergstra. Alban Ponse. "Bochvar-McCarthy Logic and Process Algebra." Notre Dame J. Formal Logic 39 (4) 464 - 484, Fall 1998. https://doi.org/10.1305/ndjfl/1039118863
Information