16TaP: A Toy Tableau Theorem Prover for 16-Valued Trilattice Logics

Reinhard Muskens

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific

    Original languageEnglish
    Title of host publicationA Programming Road to Logic, Maths, Language, and Philosophy
    Subtitle of host publicationA Tribute to Jan van Eijck on the Occasion of his Retirement
    EditorsStefan Minica, Christina Unger, Yanjing Wang
    Number of pages21
    Publication statusPublished - 2017


    • Trilattice Logics
    • Tableau calculus
    • Theorem proving

    Cite this