Wyniki
-
Four-Valued Logics BD and DM4: Expansions
Alesander Karpenko
Bulletin of the Section of Logic , 46 /1-2 (2017) s. 33-46 -
Characterization of prime numbers by Lukasiewicz's many-valued logics
Alexander S. Karpenko
Bulletin of the Section of Logic , 13 /2 (1984) s. 64-68 -
Construction of classical propositional logic
Alexander S. Karpenko
Bulletin of the Section of Logic , 22 /3 (1993) s. 92-97 -
Sheffer's stroke for prime numbers
Alexander S. Karpenko
Bulletin of the Section of Logic , 23 /3 (1994) s. 126-129 -
The class of precomplete Lukasiewicz's many-valued logics and the law of prime numbers generation
Alexander S. Karpenko
Bulletin of the Section of Logic , 25 /1 (1996) s. 52-57 -
A hypothesis on the finiteness of graphs for Lukasiewicz's precomplete logics : graphs for prime numbers
Alexander S. Karpenko
Bulletin of the Section of Logic , 15 /3 (1986) s. 102-106 -
Algebraic structure of the truth-values for Lω
Alexander S. Karpenko
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 127-137 -
Lattices of implicational logics
Alexander S. Karpenko
Bulletin of the Section of Logic , 21 /3 (1992) s. 82-91 -
BCKX is the axiomatization of implicational fragment of Lukasiewicz's infinite-valued logic Lω
Alexander S. Karpenko, Vladimir M. Popov
Bulletin of the Section of Logic , 26 /3 (1997) s. 112-117
Subskrybuj wyniki
Polish History