Intermediate logics and the de Jongh property
From MaRDI portal
Publication:627438
DOI10.1007/S00153-010-0209-4zbMath1233.03033OpenAlexW2295008513MaRDI QIDQ627438
Rineke Verbrugge, Albert Visser, Dick H. J. de Jongh
Publication date: 2 March 2011
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-010-0209-4
First-order arithmetic and fragments (03F30) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items (9)
Hard provability logics ⋮ EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES ⋮ Lewis meets Brouwer: constructive strict implication ⋮ THE FIRST-ORDER LOGIC OF CZF IS INTUITIONISTIC FIRST-ORDER LOGIC ⋮ The de Jongh property for basic arithmetic ⋮ Logics of intuitionistic Kripke-Platek set theory ⋮ The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) ⋮ Constructing illoyal algebra-valued models of set theory ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Intuitionistic validity in \(T\)-normal Kripke structures
- Incompleteness in intuitionistic metamathematics
- Constructivism in mathematics. An introduction. Volume I
- Provability interpretations of modal logic
- Can We Make the Second Incompleteness Theorem Coordinate Free?
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- A Survey of Propositional Realizability Logic
- Disjunction and existence under implication in elementary intuitionistic formalisms
- Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
- Kripke models and the intuitionistic theory of species
- On the completenes principle: A study of provability in heyting's arithmetic and extensions
- A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
- Propositional Calculus and Realizability
- Recursive Predicates and Quantifiers
- Rules and arithmetics
- Substitutions of \(\Sigma_1^0\)-sentences: Explorations between intuitionistic propositional logic and intuitionistic arithmetic
This page was built for publication: Intermediate logics and the de Jongh property
