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

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific

Original language	English
Title of host publication	A Programming Road to Logic, Maths, Language, and Philosophy
Subtitle of host publication	A Tribute to Jan van Eijck on the Occasion of his Retirement
Editors	Stefan Minica, Christina Unger, Yanjing Wang
Pages	56-76
Number of pages	21
Publication status	Published - 2017

Keywords

@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",

}

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/

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 -