Bunder's paradox

DOI10.1017/S1755020319000054zbMATH Open1486.03030OpenAlexW2914643333WikidataQ128493365 ScholiaQ128493365MaRDI QIDQ3389494FDOQ3389494

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

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

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)

Cites Work

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

Cited In (7)

• The wedge paradox and a correspondence principle
• Braess's paradox in expanders
• The Burali-Forti paradox
• The Yang–Baxter paradox
• Godambe's paradox and the ancillarity principle
• 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)