Szukaj
Wyświetlanie pozycji 1-1 z 1
Interpolation in Normal Extensions of the Brouwer Logic
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)
The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.