Q2998377
type: Item
instance of: scholarly article
zbMATH Open document ID: 1239.03037
author: Rineke Verbrugge
author: Albert Visser
author: Dick H. J. de Jongh
publication date: 2011-05-18T00:00:00Z
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B55
zbMATH DE Number: 5896226
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: Heyting arithmetic
zbMATH Keywords: de Jongh property
zbMATH Keywords: finite model property
MaRDI profile type: Publication
Recommended article: Intermediate logics and the de Jongh property
Recommended article: Finite frames fail: how infinity works its way into the semantics of admissibility
Recommended article: THE -PROVABILITY LOGIC OF
Recommended article: On an interpretation of second order quantification in first order intuitionistic propositional logic
Recommended article: Interpolation property for extensions of intuitionistic provability logic
Recommended article: Arithmetical Completeness of the Intuitionistic Logic of Proofs
Recommended article: Rules and arithmetics
Recommended article: Q3480016
Recommended article: Q3475248
Recommended article: Finite Kripke models of HA are locally PA
description: scientific article