This article is cited in 2 papers

Interpolation in superintuitionistic predicate logics with equality

L. L. Maksimova

Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk

UDC: 510.64

Received: 12.03.1996

 English version: DOI: 10.1007/BF02671609

Bibliographic databases:

•