Pages that link to "Item:Q3984417"
From MaRDI portal
The following pages link to On the weak Kleene scheme in Kripke's theory of truth (Q3984417):
Displaying 10 items.
- Notes on the computational aspects of Kripke's theory of truth (Q526739) (← links)
- Some notes on truths and comprehension (Q722023) (← links)
- A fixed point theorem for the weak Kleene valuation scheme (Q795819) (← links)
- Applications of weak Kripke semantics to intermediate consequences (Q1097261) (← links)
- The strong completeness of a system based on Kleene's strong three-valued logic (Q1893137) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH? (Q5259722) (← links)
- (Q5483006) (← links)
- Bicontextualism (Q6158340) (← links)
- Varieties of self-reference in metamathematics (Q6166124) (← links)