scientific article; zbMATH DE number 3216186
From MaRDI portal
Publication:5343334
Recommendations
- Realizability and intuitionistic logic
- Generalized Realizability and Basic Logic
- scientific article; zbMATH DE number 5851813
- A Generalized Realizability and Intuitionistic Logic
- scientific article; zbMATH DE number 3845578
- Arithmetical realizability and basic logic
- Gödel justification logics and realization
- Actuality in intuitionistic logic
- Modal logics, justification logics, and realization
- General recursive realizability and intuitionistic logic
Cited in
(5)- A survey of predicate realizability logic
- scientific article; zbMATH DE number 5851813 (Why is no real title available?)
- scientific article; zbMATH DE number 77950 (Why is no real title available?)
- scientific article; zbMATH DE number 6841178 (Why is no real title available?)
- Well-foundedness in realizability
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5343334)
