A calculus for four-valued sequential logic期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

A calculus for four-valued sequential logic

Authors:	Jan A. Bergstra Jaco van de Pol

Affiliation:	^a University of Amsterdam, Programming Research Group, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands ^b University of Twente, Formal Methods and Tools, P.O. Box 217, 7500 AE Enschede, The Netherlands

Abstract:	We present a complete axiomatisation for four-valued sequential logic. It consists of nine axioms, from which all valid laws can be derived by equational reasoning. These nine axioms are independent of each other.

Keywords:	Four-valued sequential logic Complete axiomatisation Finite basis
本文献已被 ScienceDirect 等数据库收录！