THE -PROVABILITY LOGIC OF

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

zbMATH Keywords

modal logicHeyting arithmeticintuitionistic logicprovability logiccompleteness principle

Mathematics Subject Classification ID

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

Hard provability logics

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 Σ₁-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