Non-triviality done proof-theoretically
Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Volume
10445 LNCS
ISBN
978-3-662-55664-1
978-3-662-55665-8
Date Issued
2017
Author(s)
French, R.
Abstract
It is well known that naive theories of truth based on the three-valued schemes K3 and LP are non-trivial.
SDGs