Author:Alexej Pynko

Publications
EasyChair Preprint no. 6563
EasyChair Preprint no. 5564
EasyChair Preprint no. 5358
EasyChair Preprint no. 5171
EasyChair Preprint no. 4928
EasyChair Preprint no. 4814
EasyChair Preprint no. 4639
EasyChair Preprint no. 4059
EasyChair Preprint no. 3118
EasyChair Preprint no. 4153
EasyChair Preprint no. 4078
EasyChair Preprint no. 3942
EasyChair Preprint no. 3096

Keyphrases

algebra, Calculus6, disjunctive, extension6, filtral, implicative, logic12, matrix11, model5, quasivariety, sequent.