From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

PDL Has Interpolation.. J. Symb. Log., 67 (3): 933-946 (2002)Pretabular Varieties of Equivalential Algebras.. Reports Math. Log., (1999)Analytic Cut and interpolation for bi-intuitionistic Logic., и . Rev. Symb. Log., 10 (2): 259-283 (2017)The Bottom of the Lattice of BCK-varieties.. Reports Math. Log., (1995)Varieties of Tense Algebras.. Reports Math. Log., (1998)Robinson consistency in many-sorted hybrid first-order logics., , и . AiML, стр. 407-428. College Publications, (2022)Boolean like algebras., , , и . TACL, том 25 из EPiC Series in Computing, стр. 141-144. EasyChair, (2013)On normal-valued basic pseudo-hoops., , и . Soft Comput., 16 (4): 635-644 (2012)BCK is not Structurally Complete.. Notre Dame J. Formal Log., 55 (2): 197-204 (2014)Two cooperative versions of the Guessing Secrets problem., , , , , , , и . Inf. Sci., 179 (20): 3645-3658 (2009)