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

    3 Citations (Scopus)
    246 Downloads (Pure)


    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
    Issue number28
    Publication statusPublished - 20 Jun 2011


    • 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