THE -PROVABILITY LOGIC OF
From MaRDI portal
Publication:5195060
DOI10.1017/jsl.2019.44zbMath1439.03105OpenAlexW2958157630MaRDI QIDQ5195060
Mojtaba Mojtahedi, Mohammad Ardeshir
Publication date: 17 September 2019
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/jsl.2019.44
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items
Cites Work
- Unnamed Item
- The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
- Constructivism in mathematics. An introduction. Volume II
- Provability interpretations of modal logic
- Provability logic and the completeness principle
- On the admissible rules of intuitionistic propositional logic
- Solution of a problem of Leon Henkin
- The disjunction property implies the numerical existence property
- Reduction of provability logics to Σ1-provability logics
- On the completenes principle: A study of provability in heyting's arithmetic and extensions
- A Note on Indicator-Functions
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic