Pages that link to "Item:Q3030824"
From MaRDI portal
The following pages link to Natural deduction based set theories: a new resolution of the old paradoxes (Q3030824):
Displaying 22 items.
- Theories of abstract objects without ad hoc restriction (Q535386) (← links)
- Logical foundations for programming semantics (Q685420) (← links)
- A logic for category theory (Q685421) (← links)
- Adaptive Fregean set theory (Q831216) (← links)
- A logic of abstraction related to finite constructive number classes (Q910401) (← links)
- Logic, sets, and mathematics (Q1209798) (← links)
- Naive set theory with extensionality in partial logic and in paradoxical logic (Q1333304) (← links)
- The undecidability of Grišin's set theory (Q1402586) (← links)
- Semantic relatedness (Q1842807) (← links)
- Paradoxes in double extension set theories (Q1876089) (← links)
- Logic of paradoxes in classical set theories (Q2441742) (← links)
- An intensional type theory: Motivation and cut-elimination (Q2732287) (← links)
- A theory of sets and classes (Q2755495) (← links)
- Linear set theory with strict comprehension (Q2784789) (← links)
- THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES (Q3094184) (← links)
- Two Impredicative Theories of Properties and Sets (Q3800002) (← links)
- Constructive natural deduction and its ‘ω-set’ interpretation (Q4006232) (← links)
- Prolegomenon To Any Future Neo‐Logicist Set Theory: Abstraction And Indefinite Extensibility (Q4459681) (← links)
- Assertion, Denial and Non-classical Theories (Q4912986) (← links)
- Strong, universal and provably non-trivial set theory by means of adaptive logic (Q4925162) (← links)
- The anatytic conception of truth and the foundations of arithmetic (Q4953208) (← links)
- Logical Nihilism and the Logic of ‘prem’ (Q5013626) (← links)
