Generation and decidability for integral commutative cancellative residuated lattices of bounded width. AMS Fall Western Meeting 2025. Denver, 23 August 2025.
Hölder's theorem for totally ordered monoids. LATD 2025. Siena, 22 July 2025.
Semisimplicity and the excluded middle. Padova Logic Seminar. Padova, 17 July 2025.
Hölder's theorem for totally ordered monoids. Bern Logic Seminar. Bern, 3 April 2025.
Bridges between syntax and semantics in algebraic logic. Mathematical Colloquium of the University of Bern. Bern, 31 March 2025.
Hölder's theorem for totally ordered monoids. Seminar on Applied Mathematical Logic. Prague, 19 March 2025.
Free nuclear preimages of pomonoids. Seminar on universal algebra and ordered sets. Olomouc, 22 October 2024.
Priestley duality beyond the case of finite dualizing objects. TACL 2024. Barcelona.
Hölder’s theorem for totally ordered monoids. AAA 105. Prague, 2 June 2024.
Hölder’s theorem for totally ordered monoids. GALAI seminar. Orange CA, 24 May 2024.
Unital lattice subreducts of integral residuated lattices. 2024 ASL Annual Meeting. Ames IA, 14 May 2024.
Pointed lattice subreducts of varieties of residuated lattices. Seminar on Applied Mathematical Logic. Prague, 10 April 2024.
Pointed lattice subreducts of varieties of residuated lattices. Seminar on non-classical logics. Barcelona, 9 February 2024.
Semisimplicity, Glivenko theorems, and the excluded middle. MOSAIC 2023. Vienna, 27 September 2023.
Equationally definability of logical filters. LATD 2023. Tbilisi, 14 September 2023.
Priestley duality for finitely valued L-algebras. LATD 2023. Tbilisi, 12 September 2023.
Equational definability of logical filters & Stone duality in universal algebra beyond finite dualizing objects. Algebra Week. Siena, 6 July 2023.
Equational definability of logical filters. Czech Gathering of Logicians 2023. Ostrava, 2 June 2023.
Priestley duality for positive MV-algebras. Seminar of the Dept. of Mathematics of the University of Salerno. Salerno, 8 February 2023.
Stone and Priestley dualities in universal algebra. Seminar of the Dept. of Logic of Charles University. Prague, 6 December 2022.
A module-theoretic approach to multiset consequence relations. Seminar on Applied Mathematical Logic. Prague, 19 October 2022.
Logics of upsets of De Morgan lattices. LATD 2022. Paestum, 8 September 2022. (slides)
Three- and four-valued logics of truth, non-falsity, and exact truth. Trends in Logic XXII. Cagliari, 18 July 2022.
From residuated lattices to l-groups via free nuclear preimages. TACL 2022. Coimbra, 23 June 2022.
From residuated lattices to l-groups via free nuclear preimages. Workshop on Ordered Algebras and Logic. Les Diablerets, 2 April 2022.
From residuated lattices to l-groups via free nuclear preimages. ALOPHIS seminar. Cagliari, 2 December 2021. (slides)
Nucleus images of conucleus images of l-groups. Nonclassical Logic Webinar. 5 November 2021.
Filter classes of upsets of distributive lattices. ALOPHIS seminar. Cagliari, 7 October 2021.
Lattice n-filters and their logics. AAA 101, 4 June 2021.
Logics of n-filters. Seminar on Applied Mathematical Logic. Prague, 2 December 2020.
Logics of n-filters. 2020 International Conference on Intelligence Science, Fuzzy Logic & Soft Computing. Xi'an, 18 October 2020. (slides)
Four-valued logics of truth, non-falsity, and material equivalence. Universal Algebra & Logic Seminar. Nashville TN, 14 September 2020. (slides)
Multirelational and unirelational semantics for distributive modal logics. The Nonclassical Logic Webinar. 15 May 2020. (slides)
Semisimplicity, the excluded middle, and Glivenko theorems (joint work with Tomáš Lávička). Shanks Workshop on Ordered Algebras and Logic. Nashville TN, 7 March 2020. (slides)
Semisimplicity and the excluded middle (joint work with Tomáš Lávička). Mathematics seminar at Shaanxi Normal University. Xi'an 21 October 2019. (slides)
Idealization in residuated structures (joint work with Pengfei He and Constantine Tsinakis). International Conference on Fuzzy Logic and Uncertainty Mathematics. Xi'an, 20 October 2019. (slides)
Twist products arising from residuated bimodules (joint work with Pengfei He and Constantine Tsinakis). TACL 2019. Nice, 18 June 2019.
Algebras of fractions (joint work with Nick Galatos). BLAST 2019. Boulder CO, 21 May 2019. (slides)
Antistructural completeness and inconsistency lemmas (joint work with Tomáš Lávička). Workshop on Admissible Rules and Unification III. Prague, 12 May 2019. (abstract)
Twist products of bimonoids (joint work with Nick Galatos). BLAST 2018. Denver CO, 7 August 2018.
On an equivalence between integral and involutive residuated structures (joint work with Nick Galatos). 2nd SYSMICS Workhop. Vienna, 27 February 2018.
Integral and involutive residuated structures: a categorical equivalence (joint work with Nick Galatos). Colloquium talk at the University of Denver. Denver CO, 16 February 2018.
Protonegational logics and inconsistency lemmas (with Tomáš Lávička). ManyVal 2017. Toulouse, France, 16 November 2017.
Classifying De Morgan clones. Isralog 2017. Haifa, Israel, 16 October 2017. (slides)
Reconstructing involutive residuated lattices from their negative cones (joint work with Nick Galatos). Kyoto Nonclassical Logic Workshop III. Kyoto, Japan, 25 September 2017.
Contradictory information as a basis for rational belief. LORI VI. Sapporo, Japan, 11 September 2017. (slides)
Antistructural completeness in propositional logics. TACL 2017. Prague, Czechia, 28 June 2017. (slides)
Invertible sequent calculi for super-Belnap logics. Prague Seminar on Paraconsistent Logics II. Prague, Czechia, 25 June 2017. (slides)
Antistructural completeness in propositional logics. 22nd Conference on Applications of Logic. Szklarska Poreba, Poland, 11 May 2017.
Extensions of the four-valued Belnap–Dunn logic. PhDs in Logic IX. Bochum, Germany, 4 May 2017. (slides)
Contradictory information as a basis for rational belief. SEGA Project Workshop. Bayreuth, Germany, 31 March 2017.
Between two and four values: a survey of super-Belnap logics. Logic Seminar, Tel Aviv University. Tel Aviv, Israel, 20 March 2017.
Four-valued clones from a logical perspective. Prague Seminar on Paraconsistent Logic. Prague, Czechia, 1 February 2017.
Cut elimination and identity elimination via structural atomicity. 51st Meeting of the Mathematical Logic Group. Gora, Japan, 28 October 2016. (slides)
Four-valued algebras and their logics. Kyoto Nonclassical Logic Workshop II. Kyoto, Japan, 26 October 2016. (slides)
Classical proof theory, non-classically. Computer Science Seminar, RIMS, Kyoto University. Kyoto, Japan, 13 October 2016. (slides)
Consistency, completeness, and irreflexivity. Kyoto Workshop on Dialetheism and Paraconsistency. Kyoto, Japan, 10 October 2016. (slides)
Embedding l-bimonoids into involutive residuated lattices. LATD 2016. Phalaborwa, South Africa, 30 June 2016.
Extracting truth from falsehood. Logica 2016. Hejnice, Czechia, 21 June 2016.
Combining direct and inferential negation. 21st Conference on Applications of Logic. Szklarska Poręba, Poland, 12 May 2016.
Between two and four values. 4th Prague Gathering of Logicians. Prague, Czechia, 13 February 2016. (slides)
Graphs and contradictions. 4th Annual Scientific Meeting of CSI and CE-ITI. Prague, Czechia, 18 December 2015.
The lattice of super-Belnap logics. ManyVal 2015. Les Diablerets, Switzerland, 13 December 2015. (slides)
Consistency, completeness, and classicality. Workshop on Epistemic Logic, MCMP. Munich, Germany, 10 July 2015.
Consistency, completeness, and classicality. Logica 2015. Hejnice, Czechia, 18 June 2015. (slides)
Modal intuitionistic logic and S4: extending the Gödel translation. 3rd Prague Gathering of Logicians. Prague, Czechia, 14 February 2015.
A duality for distributive unimodal logic. AiML 2014. Groningen, The Netherlands, 8 August 2014. (slides)
De Morgan logics with a notion of inconsistency. LATD 2014. Vienna, Austria, 16 July 2014.