The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic
Work
Year: 1994
Type: article
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 ... more
Author Hiroshi Aoyama
Cites: 6
Cited by: 4
Related to: 10
FWCI:
Citation percentile (by year/subfield): 52.12
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: bronze