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

Characteristic Formulas of Partial Heyting Algebras.. Logica Universalis, 7 (2): 167-193 (2013)A Meta-Logic of Inference Rules: Syntax.. CoRR, (2014)Deductive Systems in Traditional and Modern Logic., and . Axioms, 9 (3): 108 (2020)Jankov-style formulas and refutation systems.. Reports Math. Log., (2013)Preface to the Rejection Special Issue., and . Logica Universalis, 17 (4): 405-410 (December 2023)Unified Deductive Systems: An Outline.. Logica Universalis, 17 (4): 483-509 (December 2023)Algebraic Logic Perspective on Prucnal's Substitution.. Notre Dame J. Formal Log., 57 (4): 503-521 (2016)Not Every Splitting Heyting or Interior Algebra is Finitely Presentable.. Stud Logica, 100 (1-2): 115-135 (2012)Deductive Systems with Multiple-Conclusion Rules and the Disjunction Property.. Axioms, 8 (3): 100 (2019)Jankov Formula and Ternary Deductive Term.. TACL, volume 25 of EPiC Series in Computing, page 48-51. EasyChair, (2013)