Belnap's logic and conditional composition

DOI10.1016/j.tcs.2007.09.027zbMath1179.03029OpenAlexW2140632128MaRDI QIDQ2464948

Mark B. van der Zwaag, Alban Ponse

Publication date: 18 December 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2007.09.027

zbMATH Keywords

completenessBelnap's four-valued logicequational axiomatizationconditional composition logicguard logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Many-valued logic (03B50)

Related Items

A generalization of ACP using Belnap's logic

Cites Work

• A generalization of ACP using Belnap's logic
• Process algebra and conditional composition
• Process algebra for synchronous communication
• A Theory of Communicating Sequential Processes
• Laws of programming
• Process algebra with four-valued logic
• A propositional logic with 4 values: true, false, divergent and meaningless
• Lattices With Involution
• On notation for ordinal numbers
• Bochvar-McCarthy logic and process algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item