Pages that link to "Item:Q1893137"

The following pages link to The strong completeness of a system based on Kleene's strong three-valued logic (Q1893137):

Displaying 3 items.

• Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
• A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL (Q5357329) (← links)
• Axiomatizing Kripke's theory of truth (Q5480633) (← links)