On the inconsistency of systems similar to

DOI10.2307/2271943zbMATH Open0394.03022OpenAlexW2579853059MaRDI QIDQ4175262FDOQ4175262

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

InconsistencyIllative Combinatory Logic

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)