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 Godel number but by its quotation name ‘A’. © 1994, Duke University Press. All Rights Reserved.
Cite
CITATION STYLE
APA
Aoyama, H. (1994). The strong completeness of a system based on Kleene’s strong three-valued logic. Notre Dame Journal of Formal Logic, 35(3), 355–368. https://doi.org/10.1305/ndjfl/1040511343
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free