Closed Fragments of Provability Logics of Constructive Theories
From MaRDI portal
Publication:3617381
DOI10.2178/jsl/1230396766zbMath1165.03049MaRDI QIDQ3617381
Publication date: 23 March 2009
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1230396766
03F30: First-order arithmetic and fragments
03F50: Metamathematics of constructive systems
03F45: Provability logics and related algebras (e.g., diagonalizable algebras)
Related Items
Cites Work
- Unnamed Item
- Self-reference and modal logic
- Provability: The emergence of a mathematical modality
- Constructivism in mathematics. An introduction. Volume I
- Predicate Logics of Constructive Arithmetical Theories
- On the completenes principle: A study of provability in heyting's arithmetic and extensions
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic