Natural deduction based set theories: a new resolution of the old paradoxes

DOI10.2307/2274063zbMath0627.03038OpenAlexW4233806702MaRDI QIDQ3030824

Paul C. Gilmore

Publication date: 1986

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274063

zbMATH Keywords

truth-value gapsset theory without extensionalityunrestricted abstraction principle

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05) Nonclassical and second-order set theories (03E70) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (8)

A logic of abstraction related to finite constructive number classes ⋮ An intensional type theory: motivation and cut-elimination ⋮ Logical foundations for programming semantics ⋮ A logic for category theory ⋮ Assertion, Denial and Non-classical Theories ⋮ The anatytic conception of truth and the foundations of arithmetic ⋮ Semantic relatedness ⋮ Logical Nihilism and the Logic of ‘prem’

This page was built for publication: Natural deduction based set theories: a new resolution of the old paradoxes