@inproceedings{ea6f8d1aff5f4cfdbb1a2d7dc22e8dea,
title = "SIXTEEN3 in Light of Routley Stars",
abstract = "For one of the most well-known many-valued logics FDE, there are several semantics, including the star semantics by Richard Routley and Valerie Routley, the two-valued relational semantics by Michael Dunn and the four-valued semantics by Nuel Belnap. The last semantics inspired Yaroslav Shramko and Heinrich Wansing to introduce the trilattice SIXTEEN3. In this article, we offer two alternative semantical presentations for SIXTEEN3, by applying the Routleys{\textquoteright} semantics and the Dunn semantics. Based on our new semantics, we discuss related systems with less truth values, as well as the relation to FDE-based modal logics.",
keywords = "Dunn semantics, FDE, Routley star, SIXTEEN",
author = "Hitoshi Omori and Daniel Skurt",
note = "Funding Information: The work reported in this paper started during DS{\textquoteright}s visit to Japan which was supported by JSPS KAKENHI Grant Number JP18K12183 granted to HO. HO was supported by a Sofja Kovalevskaja Award of the Alexander von Humboldt-Foundation, funded by the German Ministry for Education and Research. The work of DS has been carried out as part of the research project “FDE-based modal logics”, supported by the Deutsche Forschungsgemeinschaft, DFG, grant WA 936/13-1. We would like to thank Sergei Odintsov, Yaroslav Shramko, Heinrich Wansing, Zach Weber and the referees for helpful discussions and/or comments on an earlier draft. Publisher Copyright: {\textcopyright} 2019, Springer-Verlag GmbH Germany, part of Springer Nature.; 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 ; Conference date: 02-07-2019 Through 05-07-2019",
year = "2019",
doi = "10.1007/978-3-662-59533-6_31",
language = "English",
isbn = "9783662595329",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "516--532",
editor = "Rosalie Iemhoff and Michael Moortgat and {de Queiroz}, Ruy",
booktitle = "Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings",
address = "Germany",
}