Bunder's paradox

DOI10.1017/S1755020319000054MaRDI QIDQ3389494zbMATH OpenOpenAlexWikidataFDO

Authors Michael Caie

Publication date 11 May 2021

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

Full work available at URL https://doi.org/10.1017/s1755020319000054

zbMATH Keywords

combinatory logicparadoxeslambda calculusillative logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 4121963
• Higher-order illative combinatory logic
• Systems of illative combinatory logic complete for first-order propositional and predicate calculus
• scientific article; zbMATH DE number 4143942
• scientific article; zbMATH DE number 4097340

Cites work

• scientific article; zbMATH DE number 5318491 (Why is no real title available?)
• scientific article; zbMATH DE number 3722625 (Why is no real title available?)
• scientific article; zbMATH DE number 3532923 (Why is no real title available?)
• scientific article; zbMATH DE number 3993540 (Why is no real title available?)
• A fixed point theorem for the weak Kleene valuation scheme
• A lattice-theoretical fixpoint theorem and its applications
• A paradox in illative combinatory logic
• Combinatory logic. Vol. II
• Higher-order illative combinatory logic
• On the inconsistency of systems similar to
• Outline of a Theory of Truth
• Scott's models and illative combinatory logic
• The combinatory foundations of mathematical logic
• The consistency of system Q
• The inconsistency of
• The inconsistency of certain formal logics
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(7)

• The wedge paradox and a correspondence principle
• Braess's paradox in expanders
• The Burali-Forti paradox
• Godambe's paradox and the ancillarity principle
• The Yang–Baxter paradox
• Paradoxical results and item bundles
• Newcomb's paradox

This page was built for publication: Bunder's paradox

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