Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1

DOI10.1007/978-3-642-02273-9_4zbMath1201.03051OpenAlexW1972643961MaRDI QIDQ3637184

Federico Aschieri, Stefano Berardi

Publication date: 7 July 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02273-9_4

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Related Items (1)

Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mathematics based on incremental learning -- excluded middle and inductive inference
• Some intuitionistic equivalents of classical principles for degree 2 formulas
• A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract)
• Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1
• Classical logic as limit completion
• A semantics of evidence for classical arithmetic
• Limiting recursion
• On the interpretation of intuitionistic number theory
• Logic and structure.
• Towards the animation of proofs -- testing proofs by examples

This page was built for publication: Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1