scientific article; zbMATH DE number 1202113
From MaRDI portal
Publication:4210626
zbMath0897.03022MaRDI QIDQ4210626
Publication date: 23 September 1998
Full work available at URL: https://eudml.org/doc/187759
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
intuitionistic logicintermediate logicinterpolation propertyBeth propertyintuitionistic Kripke model
Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
This page was built for publication:
