The de Jongh property for basic arithmetic
From MaRDI portal
Publication:481876
DOI10.1007/s00153-014-0394-7zbMath1435.03087OpenAlexW1972654862MaRDI QIDQ481876
Mohammad Ardeshir, S. Mojtaba Mojtahedi
Publication date: 15 December 2014
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-014-0394-7
Related Items
Hard provability logics, EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES, Logics of intuitionistic Kripke-Platek set theory, The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Intermediate logics and the de Jongh property
- Self-reference and modal logic
- A propositional logic with explicit fixed points
- Constructivism in mathematics. An introduction. Volume I
- Provability interpretations of modal logic
- Arithmetization of metamathematics in a general setting
- Basic Propositional Calculus I
- The interpretability logic of Peano arithmetic
- An Introduction to Basic Arithmetic
- Basic predicate calculus