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 27 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)
- Disquotational truth and analyticity (Q4328846) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- Feferman and the Truth (Q5214789) (← links)
- On the Type-Free Paracoherent Foundation of Mathematics with the Sedate Extension of Classical Logic by the Librationist Set Theory £, and Specifically on Why £Is Neither Inconsistent nor Contradictory nor Paraconsistent (Q5241538) (← links)
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH? (Q5259722) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- Abstraction in Fitch's Basic Logic (Q5497106) (← links)
- A NOTE ON THEORIES FOR QUASI-INDUCTIVE DEFINITIONS (Q5850984) (← links)
- , , AND REINHARDT’S PROGRAM (Q5880422) (← links)
- Truth in applicative theories (Q5951914) (← links)
- RAMSIFICATION AND SEMANTIC INDETERMINACY (Q6051427) (← links)
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\) (Q6614045) (← links)
