The completeness of provable realizability

DOI10.1305/NDJFL/1093635158zbMath0704.03004OpenAlexW2016129710MaRDI QIDQ916636

Grigori Mints

Publication date: 1989

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

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

zbMATH Keywords

realizabilityintuitionistic logiccomplete axiomatization

Mathematics Subject Classification ID

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

Related Items (7)

Proof-functional connectives and realizability ⋮ A Realizability Interpretation for Intersection and Union Types ⋮ The ``relevance of intersection and union types ⋮ Types with intersection: An introduction ⋮ The emptiness problem for intersection types ⋮ Unnamed Item ⋮ Inhabitation of Low-Rank Intersection Types

This page was built for publication: The completeness of provable realizability