The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic
Hiroshi Aoyama · Notre Dame Journal of Formal Logic · 1994
The present work, which was inspired by Kripke and McCarthy, is about a non-classical predicate logic system containing a truth predicate symbol. In this system, each sentence A is referred to not by a Gödel number but by its quotation name 'A'.