Michal Kozak

According to our database, Michal Kozak authored at least 5 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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.

Jennifer Edmond, Alejandro Benito-Santos, Michelle Doran, Roberto Therón, Michal Kozak, Cezary Mazurek, Eveline Wandl-Vogt, Aleyda Rocha Sepulveda

Digit. Humanit. Q., 2023

2014

Strong negation in intuitionistic style sequent systems for residuated lattices.

Michal Kozak

Math. Log. Q., 2014

2013

Long-Term Preservation Services as a Key Element of the Digital Libraries Infrastructure.

Piotr Jedrzejczak, Michal Kozak, Cezary Mazurek, Tomasz Parkola, Szymon Pietrzak, Maciej Stroinski, Jan Weglarz

Proceedings of the Intelligent Tools for Building a Scientific Information Platform, 2013

2011

Cyclic Involutive Distributive Full Lambek Calculus is Decidable.

Michal Kozak

J. Log. Comput., 2011

2009

Distributive Full Lambek Calculus Has the Finite Model Property.

Michal Kozak

Stud Logica, 2009