Talks
Here you can find some of my slides.
2015
-
Characterization of FEP for (Distributive) Residuated Lattices via Regular (Tree) Languages [pdf] Topology, Algebra, and Categories in Logic, Ischia, 21-26 June 2015.
2014
-
Densification via Polynomial Extensions [pdf] Logic, Algebra and Truth Degrees, Vienna, 16-19 July 2014. -
Full Lambek Calculus with Contraction is Undecidable [pdf] Beyond True and False: Logic, Algebra and Topology, Florence, 3-5 December 2014.
2013
-
Interplay between algebra and proof theory for substructural logics [pdf] A Gathering of Prague-Based Logicians, Prague, 15-16 February 2013. -
Universal Theory of Residuated Distributive Lattice-Ordered Groupoids and Its Complexity [pdf] Algebra and Coalgebra Meet Proof Theory, Utrecht, 18-20 April 2013. -
Residuated Lattices, Regular Languages, and Burnside Problem (invited) [pdf] Topology, Algebra, and Categories in Logic, Nashville, 28 July - 1 August 2013. -
Density Elimination and the Corresponding Algebraic Construction [pdf] Tenth International Tbilisi Symposium on Language, Logic and Computation, Gudauri, 23-27 September 2013.
2012
-
Quasiequational Theory of Square-increasing Residuated Lattices is Undecidable (invited) [pdf] Logic, Algebra and Truth Degrees, Kanazawa, 10–14 September 2012. -
Algebraic Methods from Substructural Logics and Formal Languages [pdf] 1st Annual Scientific Meeting of CE-ITI, Prague, 13–14 December 2012.
2011
-
An Algebraic Proof of the Disjunction Property [pdf] Algebra & Coalgebra meet Proof Theory, Bern, 27-29 April 2011. -
Holland’s Theorem for Idempotent Semirings and Applications to Residuated Lattices [pdf] Ordered Groups and Lattices in Algebraic Logic, Tbilisi, 20-23 September 2011. -
Generalization of Holland’s Theorem for Residuated Lattices [pdf] Order, Algebra and Logics, Krakow, 6-10 June 2011.
2010
-
Cancellative residuated lattices arising on 2-generated submonoids of natural numbers [pdf] Lattice-Valued Logic and its Applications, 31st Linz Seminar, 9-13 February 2010. -
Disjunction Property and Complexity of Substructural Logics [pdf] Unilog III, Estoril, 18-21 April 2010. -
Minimal Varieties of Representable Commutative Residuated Lattices [pdf] Logic, Algebra and Truth Degrees, Prague, 7-11 September 2010.
2009
-
Positive Fragment of MTL with One Variable and Its Computational Complexity [pdf] Topology, Algebra and Categories in Logic, Amsterdam, 7-11 July 2009. -
Representable Commutative Atoms in the Subvariety Lattice of Residuated Lattices [pdf] Shanks Workshop on Ordered Groups in Logic, Vanderbilt, Nashville, 21-22 March 2009.
2008
-
A Weaker Form of Wajsberg’s Axiom [pdf] Shanks Workshop on Proof Theory and Algebra, Vanderbilt, Nashville, 6-8 March 2008. -
Varieties of Cancellative Prelinear Semihoops Covering the Variety Generated by Negative Integers [pdf] Logic, Algebra and Truth Degrees, Siena, 8-11 September 2008. -
Residuované svazy: algebry pro substrukturální logiky [pdf] Seminar at Department of Logic, FF UK, 31 March 2008.
