Dual realizability in symmetric logic
From MaRDI portal
Publication:5957923
DOI10.1016/S0168-0072(01)00068-9zbMath0995.03046MaRDI QIDQ5957923
Publication date: 15 October 2002
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Peano arithmetic; constructive falsity; constructive truth; reverse transformations; symmetric constructive logic; symmetric constructive realizability
Related Items
Cites Work
- Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus
- On the logic of constructive mathematics
- Constructible falsity
- On the interpretation of intuitionistic number theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item