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 journalArticleAcademicpeer-review

1 Citation (Scopus)
89 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 languageUndefined
Pages (from-to)3122-3128
Number of pages7
JournalTheoretical computer science
Volume412
Issue number28
DOIs
Publication statusPublished - 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

Cite this

Bethke, I. (Ed.), Bergstra, J. A., Ponse, A. (Ed.), van de Pol, J. C., & Rodenburg, P. H. (Ed.) (2011). A Calculus for Four-Valued Sequential Logic. Theoretical computer science, 412(28), 3122-3128. https://doi.org/10.1016/j.tcs.2011.02.035
Bethke, I. (Editor) ; Bergstra, Jan A. ; Ponse, A. (Editor) ; van de Pol, Jan Cornelis ; Rodenburg, P.H. (Editor). / A Calculus for Four-Valued Sequential Logic. In: Theoretical computer science. 2011 ; Vol. 412, No. 28. pp. 3122-3128.
@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 = "6",
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",

}

Bethke, I (ed.), Bergstra, JA, Ponse, A (ed.), van de Pol, JC & Rodenburg, PH (ed.) 2011, 'A Calculus for Four-Valued Sequential Logic' Theoretical computer science, vol. 412, no. 28, pp. 3122-3128. https://doi.org/10.1016/j.tcs.2011.02.035

A Calculus for Four-Valued Sequential Logic. / Bethke, I. (Editor); Bergstra, Jan A.; Ponse, A. (Editor); van de Pol, Jan Cornelis; Rodenburg, P.H. (Editor).

In: Theoretical computer science, Vol. 412, No. 28, 20.06.2011, p. 3122-3128.

Research output: Contribution to journalArticleAcademicpeer-review

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

VL - 412

SP - 3122

EP - 3128

JO - Theoretical computer science

JF - Theoretical computer science

SN - 0304-3975

IS - 28

ER -

Bethke I, (ed.), Bergstra JA, Ponse A, (ed.), van de Pol JC, Rodenburg PH, (ed.). A Calculus for Four-Valued Sequential Logic. Theoretical computer science. 2011 Jun 20;412(28):3122-3128. https://doi.org/10.1016/j.tcs.2011.02.035