On the completenes principle: A study of provability in heyting's arithmetic and extensions
From MaRDI portal
Publication:4740561
DOI10.1016/0003-4843(82)90024-9zbMATH Open0505.03026OpenAlexW2015175446MaRDI QIDQ4740561FDOQ4740561
Authors: Albert Visser 
Publication date: 1982
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(82)90024-9
Modal logic (including the logic of norms) (03B45) Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25)
Cited In (24)
- Title not available (Why is that?)
- Terminating calculi for propositional Dummett logic with subformula property
- Predicate Logics of Constructive Arithmetical Theories
- Nested sequents for intermediate logics: the case of Gödel-Dummett logics
- Closed Fragments of Provability Logics of Constructive Theories
- Rules and arithmetics
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
- Hypersequents, logical consequence and intermediate logics for concurrency
- Provability logic and the completeness principle
- Church's thesis, continuity, and set theory
- Notes on my scientific life
- The \(\Sigma_1\)-provability logic of HA revisited
- Hard provability logics
- Continuous Fraïssé conjecture
- EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS
- Intermediate logics and the de Jongh property
- Linear Logic Properly Displayed
- Lewis meets Brouwer: constructive strict implication
- The Henkin sentence
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}^{*}\)
- Connecting fuzzy logic and argumentation frames via logical attack principles
- First-order satisfiability in Gödel logics: an NP-complete fragment
This page was built for publication: On the completenes principle: A study of provability in heyting's arithmetic and extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4740561)
