The completeness of provable realizability

DOI10.1305/NDJFL/1093635158zbMATH Open0704.03004OpenAlexW2016129710MaRDI QIDQ916636FDOQ916636

Authors: G. E. 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

Recommendations

• Proof-functional connectives and realizability
• scientific article; zbMATH DE number 1497741
• Absolute \(L\)-realizability and intuitionistic logic
• scientific article; zbMATH DE number 2174389
• scientific article; zbMATH DE number 176126

zbMATH Keywords

intuitionistic logicrealizabilitycomplete axiomatization

Mathematics Subject Classification ID

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

Cited In (11)

• The emptiness problem for intersection types
• Title not available (Why is that?)
• Well-foundedness in realizability
• Inhabitation of Low-Rank Intersection Types
• A realizability interpretation for intersection and union types
• Proof-functional connectives and realizability
• Verificationism and Classical Realizability
• Types with intersection: An introduction
• Universality of Regular Realizability Problems
• The ``relevance of intersection and union types
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q916636)