Book chapter
Formalization of Many-Valued Logics
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.
Language: | English |
---|---|
Publisher: | Cambridge Scholars Press |
Year: | 2017 |
Pages: | 219-256 |
ISBN: | 1443879479 , 1527500721 , 9781443879477 and 9781527500723 |
Types: | Book chapter |
ORCIDs: | Villadsen, Jørgen and Schlichtkrull, Anders |