Michal Kozak

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 1

Top Topics

Software Development Projects

Top Venues

Digit. Humanit. Q.

Publications

Jennifer Edmond, Alejandro Benito-Santos, Michelle Doran, Roberto Therón, Michal Kozak, Cezary Mazurek, Eveline Wandl-Vogt, Aleyda Rocha Sepulveda
Making the Whole Greater than the Sum of its Parts: Taxonomy Development as a Site of Negotiation and Compromise in an Interdisciplinary Software Development Project. Digit. Humanit. Q. 17 (3) (2023)
Michal Kozak
Strong negation in intuitionistic style sequent systems for residuated lattices. Math. Log. Q. 60 (4-5) (2014)
Michal Kozak
Cyclic Involutive Distributive Full Lambek Calculus is Decidable. J. Log. Comput. 21 (2) (2011)
Michal Kozak
Distributive Full Lambek Calculus Has the Finite Model Property. Stud Logica 91 (2) (2009)