Abstract
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'.
Citation
Hiroshi Aoyama. "The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic." Notre Dame J. Formal Logic 35 (3) 355 - 368, /Summer 1994. https://doi.org/10.1305/ndjfl/1040511343
Information
