Interpolation property and superintuitionistic predicate logics

zbMath0914.03029MaRDI QIDQ1288274

D. E. Tishkovskij

Publication date: 11 May 1999

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

interpolation propertysuperintuitionistic predicate logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Intermediate logics (03B55)

This page was built for publication: Interpolation property and superintuitionistic predicate logics