Consistency notions in illative combinatory logic

DOI10.2307/2271874zbMath0382.03013OpenAlexW2142588416MaRDI QIDQ4161296

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/2271874

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items

A one axiom set theory based on higher order predicate calculus, Equivalences between pure type systems and systems of illative combinatory logic

Cites Work

• The \(Q\)-consistency of \(F_{22}\)
• The consistency of a system of combinatory restricted generality