scientific article; zbMATH DE number 4004179
From MaRDI portal
Publication:3755454
Recommendations
Cited in
(23)- Interactive realizations of logical formulas
- Constructive Semantics: On the Necessity of an Appropriate Concept of Schematization
- Reverse constructive logic
- Gilt das Lemma von König „konstruktiv“?
- The logic of interactive turing reduction
- scientific article; zbMATH DE number 125239 (Why is no real title available?)
- scientific article; zbMATH DE number 3887681 (Why is no real title available?)
- scientific article; zbMATH DE number 4053610 (Why is no real title available?)
- Non-bounding constructions
- scientific article; zbMATH DE number 176201 (Why is no real title available?)
- scientific article; zbMATH DE number 16511 (Why is no real title available?)
- The Semantic Conception of Logic
- On arithmetic complexity of some constructive logics
- Kreisel’s Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause
- Predicate logics of constructive mathematical theories
- Types for Proofs and Programs
- On the Construction of Semi-Iterative Methods
- scientific article; zbMATH DE number 4145898 (Why is no real title available?)
- scientific article; zbMATH DE number 4089535 (Why is no real title available?)
- scientific article; zbMATH DE number 3916267 (Why is no real title available?)
- A constructive investigation of satisfiability
- A Survey of Propositional Realizability Logic
- Structuring co-constructive logic for proofs and refutations
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 Q3755454)
