Przeglądaj Bulletin of the Section of Logic 45/3/4 (2016) według tematu "amalgamation property"
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.