scientific article; zbMATH DE number 5896226

zbMATH Open1239.03037MaRDI QIDQ2998377FDOQ2998377

Rineke Verbrugge, Dick H. J. de Jongh, Albert Visser

Publication date: 18 May 2011

Title of this publication is not available (Why is that?)

zbMATH Keywords

intuitionistic logicfinite model propertyde Jongh propertyHeyting arithmetic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) First-order arithmetic and fragments (03F30)

Cited In (12)

• Title not available (Why is that?)
• Intermediate logics and factors of the Medvedev lattice
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• Reflexive intermediate first-order logics
• On the rules of intermediate logics
• Topologies for intermediate logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intermediate logics and the de Jongh property
• Intermediate logics with the same disjunctionless fragment as intuitionistic logic
• Sentential logics and Maehara interpolation property
• Tarski's theorem on intuitionistic logic, for polyhedra

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Rules and arithmetics 👍 👎
• Arithmetical Completeness of the Intuitionistic Logic of Proofs 👍 👎
• Finite Kripke models of HA are locally PA 👍 👎
• Interpolation property for extensions of intuitionistic provability logic 👍 👎
• On an interpretation of second order quantification in first order intuitionistic propositional logic 👍 👎
• Intermediate logics and the de Jongh property 👍 👎
• Finite frames fail: how infinity works its way into the semantics of admissibility 👍 👎
• THE -PROVABILITY LOGIC OF 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2998377)