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

    2 Citations (Scopus)
    113 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