1998/10/01 by J.A. Bergstra, Jan A. Bergstra, Alban Ponse
Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.1305/ndjfl/1039118863
openalex publication_date 1998/10/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/25
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.