Intermediate logics and the de Jongh property

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

zbMATH Keywords

Heyting arithmeticintuitionistic logicintermediate logicde Jong prpoperty

Mathematics Subject Classification ID

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