scientific article

zbMath1239.03037MaRDI QIDQ2998377

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

Publication date: 18 May 2011

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Heyting arithmeticfinite model propertyintuitionistic logicde Jongh property

Mathematics Subject Classification ID

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