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

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)
Muskens, Reinhard. / 16TaP: A Toy Tableau Theorem Prover for 16-Valued Trilattice Logics. A Programming Road to Logic, Maths, Language, and Philosophy: A Tribute to Jan van Eijck on the Occasion of his Retirement. editor / Stefan Minica ; Christina Unger ; Yanjing Wang. 2017. pp. 56-76
@inbook{78dd67123b3f4f87b9ce86200687e9a3,
title = "16TaP: A Toy Tableau Theorem Prover for 16-Valued Trilattice Logics",
keywords = "Trilattice Logics, Tableau calculus, Theorem proving",
author = "Reinhard Muskens",
year = "2017",
language = "English",
pages = "56--76",
editor = "Stefan Minica and Christina Unger and Yanjing Wang",
booktitle = "A Programming Road to Logic, Maths, Language, and Philosophy",

}

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.

16TaP: A Toy Tableau Theorem Prover for 16-Valued Trilattice Logics. / Muskens, Reinhard.

A Programming Road to Logic, Maths, Language, and Philosophy: A Tribute to Jan van Eijck on the Occasion of his Retirement. ed. / Stefan Minica; Christina Unger; Yanjing Wang. 2017. p. 56-76.

Research output: Chapter in Book/Report/Conference proceedingChapterScientific

TY - CHAP

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

AU - Muskens, Reinhard

PY - 2017

Y1 - 2017

KW - Trilattice Logics

KW - Tableau calculus

KW - Theorem proving

UR - http://jve2017.herokuapp.com/ReinhardMuskens.html

M3 - Chapter

SP - 56

EP - 76

BT - A Programming Road to Logic, Maths, Language, and Philosophy

A2 - Minica, Stefan

A2 - Unger, Christina

A2 - Wang, Yanjing

ER -

Muskens R. 16TaP: A Toy Tableau Theorem Prover for 16-Valued Trilattice Logics. In Minica S, Unger C, Wang Y, editors, A Programming Road to Logic, Maths, Language, and Philosophy: A Tribute to Jan van Eijck on the Occasion of his Retirement. 2017. p. 56-76