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

- 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/