Provability logic and the completeness principle

DOI10.1016/j.apal.2019.02.001zbMath1439.03106arXiv1804.09451OpenAlexW2962718607WikidataQ128462630 ScholiaQ128462630MaRDI QIDQ1740459

Albert Visser, Jetze Zoethout

Publication date: 30 April 2019

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.09451

zbMATH Keywords

provability logicconstructivism

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items

Hard provability logics, The absorption law. Or: how to Kreisel a Hilbert-Bernays-Löb, Admissible rules for six intuitionistic modal logics, AN ESCAPE FROM VARDANYAN’S THEOREM, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), Sequent calculi for intuitionistic Gödel-Löb logic, THE -PROVABILITY LOGIC OF

Cites Work

• Unnamed Item
• The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
• Provability interpretations of modal logic
• On the completenes principle: A study of provability in heyting's arithmetic and extensions
• Existence and feasibility in arithmetic
• Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic