| title | ISBN-13 | year of publication |
|---|---|---|
| Abstract sequent axiomatizations of finitary universal Horn theories: Abstract Proof Theory versus General Algebraic Logic | 978-1-7945-9554-5 | 2019 |
| Deduction Theorem and Peirce Law in General Algebraic Logic: Constructive Proofs in General Sentential Logic and Universal Algebra | 978-1-7929-4961-6 | 2019 |
| Equivalential Universal Horn Theories: Algebraic systems versus pure algebras within General Algebraic Logic | 978-1-7945-1755-4 | 2019 |
| Implicative and Disjunctive Prevarieties: Algebraic aspects of Deduction Theorem | 978-1-6909-5555-9 | 2019 |
| Implicativity versus Filtrality: Many-sorted Algebraic framework | 978-1-6916-4316-5 | 2019 |
A. P. · D.A. · D A P · D. P. · Dr. Alexej Pavlovich Pynko · Dr.P · P.P.