Formalization of Many-Valued Logics

Jørgen Villadsen, Anders Schlichtkrull

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review


Partiality is a key challenge for computational approaches to artificial intelligence in general and natural language in particular. Various extensions of classical two-valued logic to many-valued logics have been investigated in order to meet this challenge. We use the proof assistant Isabelle to formalize the syntax and semantics of many-valued logics with determinate as well as indeterminate truth values. The formalization allows for a concise presentation and makes automated verification possible.
Original languageEnglish
Title of host publicationPartiality and Underspecification in Information, Languages, and Knowledge
EditorsHenning Christiansen, M. Dolores Jiménez-López, Roussanka Loukanova, Lawrence S. Moss
PublisherCambridge Scholars Press
Publication date2017
ISBN (Print)978-1-4438-7947-7
Publication statusPublished - 2017


Dive into the research topics of 'Formalization of Many-Valued Logics'. Together they form a unique fingerprint.

Cite this