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