Wyniki
-
From Ternary to Tetrary?
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 23 /4 (1994) s. 163-167 -
Implicative logics in categories
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 26 /4 (1997) s. 188-192 -
Implicative logics, sequential deductive systems and exponential multicategories
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 13-25 -
The bibinary semantics for R and Lω
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 15 /3 (1986) s. 109-114 -
T-F-toposes for Lukasiewicz's infinite-valued logics
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 182-187 -
A new axiomatization of Jaśkowski's discussive logic
Vladimir L. Vasyukov
Logic and Logical Philosophy 9 (2001) s. 35-46