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.
