Verificationism and Classical Realizability
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 5851813
- Classical and relative realizability
- A Survey of Classical Realizability
- Classical realizability as a classifier for nondeterminism
- REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS
- Verificationism and the principle of non-contradiction
- Quantitative classical realizability
- The completeness of provable realizability
- Intuitionistic epistemology and modal logics of verification
Cites work
- scientific article; zbMATH DE number 5851813 (Why is no real title available?)
- scientific article; zbMATH DE number 5318491 (Why is no real title available?)
- scientific article; zbMATH DE number 5360217 (Why is no real title available?)
- scientific article; zbMATH DE number 3557754 (Why is no real title available?)
- scientific article; zbMATH DE number 3614784 (Why is no real title available?)
- scientific article; zbMATH DE number 4123722 (Why is no real title available?)
- scientific article; zbMATH DE number 1215498 (Why is no real title available?)
- scientific article; zbMATH DE number 1324438 (Why is no real title available?)
- scientific article; zbMATH DE number 1028823 (Why is no real title available?)
- scientific article; zbMATH DE number 3428899 (Why is no real title available?)
- scientific article; zbMATH DE number 3209149 (Why is no real title available?)
- scientific article; zbMATH DE number 3216178 (Why is no real title available?)
- scientific article; zbMATH DE number 3237808 (Why is no real title available?)
- scientific article; zbMATH DE number 3336772 (Why is no real title available?)
- scientific article; zbMATH DE number 972408 (Why is no real title available?)
- A natural extension of natural deduction
- A proof-theoretic foundation of abortive continuations
- Between proof and truth
- Classical logic, storage operators and second-order lambda-calculus
- Constructions, proofs and the meaning of logical constants
- Constructive recursive functions, Church's thesis, and Brouwer's theory of the creating subject: afterthoughts on a Parisian joint session
- Constructivism in mathematics. An introduction. Volume II
- Dependent choice, `quote' and the clock
- Elements of logical reasoning
- Extracting Herbrand trees in classical realizability using forcing
- Interaction graphs: graphings
- Intuitionistic logic and the creative subject
- Lectures on the Curry-Howard isomorphism
- Locus solum: From the rules of logic to the logic of rules.
- Mathematical thought and its objects
- Meaning and proofs: on the conflict between classical and intuitionistic logic
- Meaning approached via proofs
- Normalization and excluded middle. I
- On n-quantifier induction
- On the Interpretation of Non-Finitist Proofs--Part I
- On the interpretation of intuitionistic number theory
- On the interpretation of non-finitist proofs–Part II
- Proof Analysis
- Realizability algebras. II: New models of \(\mathrm{ZF} + \mathrm{DC}\)
- Recursive Functions and Constructive Mathematics
- Specifying Peirce's law in classical realizability
- Structural proof theory. With an appendix by Aarne Ranta
- Term Rewriting and Applications
- The faithfulness of the interpretation of arithmetic in the theory of constructions
- Theorem proving modulo
- Truth-maker semantics for intuitionistic logic
- Which number theoretic problems can be solved in recursive progressions on Π11-paths through O?
Cited in
(5)
This page was built for publication: Verificationism and Classical Realizability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305313)
