A Calculus for Four-Valued Sequential Logic

I. Bethke; Jan A. Bergstra; A. Ponse; Jan Cornelis van de Pol; P.H. Rodenburg

doi:10.1016/j.tcs.2011.02.035

A Calculus for Four-Valued Sequential Logic

I. Bethke (Editor)
, Jan A. Bergstra
, A. Ponse (Editor)
, Jan Cornelis van de Pol
, P.H. Rodenburg (Editor)

Research output: Contribution to journal › Article › Academic › peer-review

5 Citations (Scopus)

419 Downloads (Pure)

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.

Original language	Undefined
Pages (from-to)	3122-3128
Number of pages	7
Journal	Theoretical computer science
Volume	412
Issue number	28
DOIs	https://doi.org/10.1016/j.tcs.2011.02.035
Publication status	Published - 20 Jun 2011

Keywords

finite basis
complete axiomatisation
EWI-19619
CR-F.3
Four-valued sequential logic
CR-D.2.1
CR-I.1
METIS-277546
IR-77560
CR-F.4.1

Access to Document

10.1016/j.tcs.2011.02.035

Cite this

@article{cc7a03205be0416aa89d7cf89e0ff39b,

title = "A Calculus for Four-Valued Sequential Logic",

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 = "finite basis, complete axiomatisation, EWI-19619, CR-F.3, Four-valued sequential logic, CR-D.2.1, CR-I.1, METIS-277546, IR-77560, CR-F.4.1",

author = "I. Bethke and Bergstra, \{Jan A.\} and A. Ponse and \{van de Pol\}, \{Jan Cornelis\} and P.H. Rodenburg",

note = "eemcs-eprint-19619 ",

year = "2011",

month = jun,

day = "20",

doi = "10.1016/j.tcs.2011.02.035",

language = "Undefined",

volume = "412",

pages = "3122--3128",

journal = "Theoretical computer science",

issn = "0304-3975",

publisher = "Elsevier",

number = "28",

}

TY - JOUR

T1 - A Calculus for Four-Valued Sequential Logic

AU - Bergstra, Jan A.

AU - van de Pol, Jan Cornelis

A2 - Bethke, I.

A2 - Ponse, A.

A2 - Rodenburg, P.H.

N1 - eemcs-eprint-19619

PY - 2011/6/20

Y1 - 2011/6/20

N2 - 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.

AB - 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.

KW - finite basis

KW - complete axiomatisation

KW - EWI-19619

KW - CR-F.3

KW - Four-valued sequential logic

KW - CR-D.2.1

KW - CR-I.1

KW - METIS-277546

KW - IR-77560

KW - CR-F.4.1

U2 - 10.1016/j.tcs.2011.02.035

DO - 10.1016/j.tcs.2011.02.035

M3 - Article

SN - 0304-3975

VL - 412

SP - 3122

EP - 3128

JO - Theoretical computer science

JF - Theoretical computer science

IS - 28

ER -