Dr. Alexej P. Pynko
Dr. Alexej P. Pynko is a Senior Scientific Researher of
the Digital Automata Theory Department (100) of
the V.M. Glushkov Institute of Cybernetics (in Kiev)
of the National Academy of Sciences of Ukraine,
where he has been working since 1993 till now.
In 2000 he got his PhD degree on Physics and Mathematics
(Mathematical Logic, Algorithm Theory and Discrete Mathematics)
at the Taras Shevchenko Kiev National University.
Popular items by Dr. Alexej P. Pynko
View all offers-
Equivalential Universal Horn Theories: Algebraic systems versus pure algebras within General Algebraic Logic
Pynko, Dr. Alexej P.
Item prices starting from
View 6 offersUS$ 7.57
-
Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs in General Sentential Logic and Universal Algebra
Pynko, Dr. Alexej P.
Item prices starting from
View 6 offersUS$ 51.41
-
Semantics of sequent calculi: Fuzziness versus non-multiplicativity
Pynko, Dr. Alexej P.
Item prices starting from
View 7 offersUS$ 49.35
-
Implicative and Disjunctive Prevarieties: Algebraic aspects of Deduction Theorem
Pynko, Dr. Alexej P.
Item prices starting from
View 5 offersUS$ 195.35
-
Abstract sequent axiomatizations of finitary universal Horn theories: Abstract Proof Theory versus General Algebraic Logic
Pynko, Dr Alexej P.
Item prices starting from
View 7 offersUS$ 146.35
-
Three-valued paraconsistent logics and their extensions: Three-valued paraconsistent logics
Pynko, Dr. Alexej P.
Item prices starting from
View 9 offersUS$ 98.35
-
Implicativity versus Filtrality: Many-sorted Algebraic framework
Pynko, Dr. Alexej P.
Item prices starting from
View 5 offersUS$ 195.35
-
Axiomatization of finitely-valued logics
Pynko, Dr. Alexej P.
Item prices starting from
View 5 offersUS$ 98.35
Showing 8 of 25 titles