Pages that link to "Item:Q1893137"
From MaRDI portal
The following pages link to The strong completeness of a system based on Kleene's strong three-valued logic (Q1893137):
Displaying 10 items.
- Logic in quotes (Q1094403) (← links)
- Kripke and the logic of truth (Q1107507) (← links)
- Completeness criterion for the enumeration closure operator in three-valued logic (Q2295970) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence (Q3003264) (← links)
- (Q4722043) (← links)
- (Q5313694) (← 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)
- (Q5871538) (← links)