Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic

DOI10.2307/2586717zbMath0947.03018OpenAlexW2030678653MaRDI QIDQ4227871

Wil Dekkers, Martin W. Bunder, Hendrik Pieter Barendregt

Publication date: 2 February 1999

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

Full work available at URL: https://doi.org/10.2307/2586717

zbMATH Keywords

intuitionistic logicillative combinatory logicpropositions-as-types paradigmcompleteness of translations

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Pure type systems with more liberal rules

Cites Work

• Systems of illative combinatory logic complete for first-order propositional and predicate calculus

This page was built for publication: Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic