On the inconsistency of systems similar to

DOI10.2307/2271943zbMath0394.03022OpenAlexW2579853059MaRDI QIDQ4175262

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)

Related Items (2)

BUNDER’S PARADOX ⋮ Equivalences between pure type systems and systems of illative combinatory logic

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