On weak completeness of intuitionistic predicate logic
From MaRDI portal
Cited in
(45)- The metamathematics of ergodic theory
- On theorems of Gödel and Kreisel: Completeness and Markov's principle
- A realizability interpretation for classical analysis
- The creating subject, the Brouwer-Kripke schema, and infinite proofs
- Constructions and negationless logic
- Intuitionistic completeness and classical logic
- Formally computing with the non-computable
- On Guaspari's problem about partially conservative sentences
- Paraconsistent metatheory: new proofs with old tools
- Non-classical metatheory for non-classical logics
- Strongly uniform bounds from semi-constructive proofs
- Reflexive intermediate propositional logics
- On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem
- The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb
- Explicit provability and constructive semantics
- Exercising Nuprl's open-endedness
- Semantic completeness of first-order theories in constructive reverse mathematics
- Partially Conservative Extensions of Arithmetic
- A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms
- Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
- Intuitionistic completeness of first-order logic
- Validating Brouwer's continuity principle for numbers using named exceptions
- An application of constructive completeness
- Current research on Gödel's incompleteness theorems
- Game semantics and the geometry of backtracking: a new complexity analysis of interaction
- Gödel's second incompleteness theorem: how it is derived and what it delivers
- Explaining deductive inference
- Gödel and intuitionism
- The prehistory of the subsystems of second-order arithmetic
- A complexity analysis of functional interpretations
- scientific article; zbMATH DE number 3375474 (Why is no real title available?)
- On computational properties of Cauchy problems generated by accretive operators
- Should pluralists be pluralists about pluralism?
- Kripke models for classical logic
- Herbrandized modified realizability
- \(\text{TT}^\Box_{\mathcal{C}}\): a family of extensional type theories with effectful realizers of continuity
- The modified realizability topos
- Open bar -- a Brouwerian intuitionistic logic with a pinch of excluded middle
- Uniform functional interpretations
- The completeness theorem? So what!
- Mathematical developments of the incompleteness theorems
- Separating Markov's principles
- A note on the expressive completeness of LP in a metatheory without negation
- Internal effectful forcing in system T
- An innermost DP framework for constrained higher-order rewriting
This page was built for publication: On weak completeness of intuitionistic predicate logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5726687)
