Higher-Order Illative Combinatory Logic

DOI10.2178/jsl.7803080zbMath1341.03018arXiv1202.3672OpenAlexW2963381779MaRDI QIDQ2869904

Łukasz Czajka

Publication date: 7 January 2014

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

Full work available at URL: https://arxiv.org/abs/1202.3672

zbMATH Keywords

strong consistencyillative combinatory logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

BUNDER’S PARADOX

Cites Work

• Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus
• Equivalences between pure type systems and systems of illative combinatory logic
• Systems of illative combinatory logic complete for first-order propositional and predicate calculus
• Fuzzy Logic in Computer Science

This page was built for publication: Higher-Order Illative Combinatory Logic