Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Bottom of the Lattice of BCK-varieties.. Reports Math. Log., (1995)An Abelian Rule for BCI - and Variations., and . Notre Dame J. Formal Log., 57 (4): 551-568 (2016)Analytic Cut and interpolation for bi-intuitionistic Logic., and . Rev. Symb. Log., 10 (2): 259-283 (2017)On normal-valued basic pseudo-hoops., , and . Soft Comput., 16 (4): 635-644 (2012)State morphism MV-algebras., , and . Int. J. Approx. Reason., 52 (8): 1215-1228 (2011)Varieties of Tense Algebras.. Reports Math. Log., (1998)Lindström's theorem, both syntax and semantics free., and . J. Log. Comput., 32 (5): 942-975 (2022)Robinson consistency in many-sorted hybrid first-order logics., , and . AiML, page 407-428. College Publications, (2022)Boolean like algebras., , , and . TACL, volume 25 of EPiC Series in Computing, page 141-144. EasyChair, (2013)Applying Transition Networks in Translating Polish E-Mails., , and . IIS, page 521-527. Springer, (2003)