Four paradoxes

DOI10.1007/BF00245920MaRDI QIDQ1246520zbMATH OpenFDO

Authors Johan van Benthem

Publication date 1978

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00245920

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophical and critical aspects of logic and foundations (03A05)

Cited in

(6)

• Variations on a theme of Curry
• The logic of empirical theories revisited
• Paradoxes, intuitionism, and proof-theoretic semantics
• Natural constructive proofs of A via A B, proof paradoxes, and impredicativity
• Paradoxical connectives: proof-theoretic semantics, recursion, and fixed-point operators
• Natural deduction and Curry's paradox

This page was built for publication: Four paradoxes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1246520)