Belnap's logic and conditional composition
From MaRDI portal
Publication:2464948
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
completenessBelnap's four-valued logicequational axiomatizationconditional composition logicguard logic
Related Items
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