Closed Fragments of Provability Logics of Constructive Theories

DOI10.2178/JSL/1230396766zbMath1165.03049OpenAlexW2160442456MaRDI QIDQ3617381

Albert Visser

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

zbMATH Keywords

Heyting arithmeticprovability logicconstructive arithmetic

Mathematics Subject Classification ID

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

Related Items (2)

Lewis meets Brouwer: constructive strict implication ⋮ Unnamed Item

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

This page was built for publication: Closed Fragments of Provability Logics of Constructive Theories