Pages that link to "Item:Q1920240"
From MaRDI portal
The following pages link to Logical frameworks for truth and abstraction. An axiomatic study (Q1920240):
Displaying 18 items.
- Stability and paradox in algorithmic logic (Q861519) (← links)
- Theories with self-application and computational complexity. (Q1427856) (← links)
- Supervaluation-style truth without supervaluations (Q1633214) (← links)
- Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
- Universes over Frege structures (Q1861539) (← links)
- An intensional fixed point theory over first order arithmetic (Q1877095) (← links)
- Totality in applicative theories (Q1896484) (← links)
- Levels of truth (Q1903585) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Reflecting and unfolding (Q2094161) (← links)
- Truth, reflection and hierarchies (Q2386109) (← links)
- Adding a conditional to Kripke's theory of truth (Q2397814) (← links)
- Systems of explicit mathematics with non-constructive \(\mu\)-operator and join (Q2563984) (← links)
- A feasible theory of truth over combinatory algebra (Q2637706) (← links)
- About Truth and Types (Q3305551) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- RAMSIFICATION AND SEMANTIC INDETERMINACY (Q6051427) (← links)
