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.

 

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

Analytic Cut and interpolation for bi-intuitionistic Logic., и . Rev. Symb. Log., 10 (2): 259-283 (2017)State morphism MV-algebras., , и . Int. J. Approx. Reason., 52 (8): 1215-1228 (2011)The Bottom of the Lattice of BCK-varieties.. Reports Math. Log., (1995)On normal-valued basic pseudo-hoops., , и . Soft Comput., 16 (4): 635-644 (2012)Varieties of Tense Algebras.. Reports Math. Log., (1998)Lindström's theorem, both syntax and semantics free., и . J. Log. Comput., 32 (5): 942-975 (2022)An Abelian Rule for BCI - and Variations., и . Notre Dame J. Formal Log., 57 (4): 551-568 (2016)Boolean like algebras., , , и . TACL, том 25 из EPiC Series in Computing, стр. 141-144. EasyChair, (2013)Robinson consistency in many-sorted hybrid first-order logics., , и . AiML, стр. 407-428. College Publications, (2022)Combining binary constraint networks in qualitative reasoning., , , и . ECAI, том 178 из Frontiers in Artificial Intelligence and Applications, стр. 515-519. IOS Press, (2008)