On the inconsistency of systems similar to

DOI10.2307/2271943MaRDI QIDQ4175262zbMATH OpenOpenAlexFDO

Authors Robert K. Meyer, Martin W. Bunder

Publication date 1978

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

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

zbMATH Keywords

Illative Combinatory LogicInconsistency

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited in

(2)

• Equivalences between pure type systems and systems of illative combinatory logic
• Bunder's paradox

This page was built for publication: On the inconsistency of systems similar to

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