The Strong Completeness of a System for Kleene's Three‐Valued Logic

DOI10.1002/malq.19790250307zbMath0407.03030OpenAlexW2004137941MaRDI QIDQ4193439

John T. Kearns

Publication date: 1979

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19790250307

zbMATH Keywords

Natural Deduction SystemStrong Completeness TheoremKleene's Three-Valued Logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (3)

The strong completeness of a system based on Kleene's strong three-valued logic ⋮ A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL ⋮ Axiomatizing Kripke's theory of truth

This page was built for publication: The Strong Completeness of a System for Kleene's Three‐Valued Logic