French, R.R.FrenchSHAWN MICHAEL STANDEFER2021-11-262021-11-262017978-3-662-55664-1978-3-662-55665-80302-97431611-3349https://scholars.lib.ntu.edu.tw/handle/123456789/587926It is well known that naive theories of truth based on the three-valued schemes K3 and LP are non-trivial.[SDGs]SDG16Non-triviality done proof-theoretically10.1007/978-3-662-55665-8_302-s2.0-85029459423http://www.scopus.com/inward/record.url?eid=2-s2.0-85029459423&partnerID=MN8TOARS38172649