\(\Lambda\)-elimination in illative combinatory logic

DOI10.1305/NDJFL/1093882671zbMath0406.03021OpenAlexW2026771496MaRDI QIDQ1257463

Martin W. Bunder

Publication date: 1979

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882671

zbMATH Keywords

Illative Combinatory LogicMany-Valued LogicQuantifier Elemination

Mathematics Subject Classification ID

Many-valued logic (03B50) Combinatory logic and lambda calculus (03B40) Quantifier elimination, model completeness, and related topics (03C10)

This page was built for publication: \(\Lambda\)-elimination in illative combinatory logic