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
Pages56-76
Number of pages21
Publication statusPublished - 2017

Keywords

  • Trilattice Logics
  • Tableau calculus
  • Theorem proving

Cite this

Muskens, R. (2017). 16TaP: A Toy Tableau Theorem Prover for 16-Valued Trilattice Logics. In S. Minica, C. Unger, & Y. Wang (Eds.), A Programming Road to Logic, Maths, Language, and Philosophy: A Tribute to Jan van Eijck on the Occasion of his Retirement (pp. 56-76) http://jve2017.herokuapp.com/