A Generalization of ACP Using Belnap's Logic

13 years 11 months ago

ACP is combined with Belnap's four-valued logic via conditional composition (if

Alban Ponse, Mark van der Zwaag

Conditional Composition | Conditional Merge | ENTCS 2006 | Operator |

claim paper

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	ENTCS
Authors	Alban Ponse, Mark van der Zwaag

Comments (0)