We stand with Ukraine  

Michal Botur

Orcid: 0000-0002-2362-5113

According to our database1, Michal Botur authored at least 23 papers between 2007 and 2026.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
A New Representation of Finite Hoops Using a New Type of Product of Structures.
[BibTeX]
[DOI]
Michal Botur
Stud Logica, February, 2026

Quantales carrying ortholattice structure.
[BibTeX]
[DOI]
Michal Botur
,
David Kruml
,
Jan Paseka
Proceedings of the 56th IEEE International Symposium on Multiple-Valued Logic, 2026

2025
Many-valued aspects of tense and related operators.
[BibTeX]
[DOI]
Michal Botur
,
Jan Paseka
,
Richard Smolka
Fuzzy Sets Syst., 2025

Foulis m-semilattices and their modules.
[BibTeX]
[DOI]
Michal Botur
,
Jan Paseka
,
Milan Lekár
Proceedings of the 55th IEEE International Symposium on Multiple-Valued Logic, 2025

Foulis Quantales and Complete Orthomodular Lattices.
[BibTeX]
[DOI]
Michal Botur
,
Jan Paseka
,
Richard Smolka
Proceedings of the Advances in Fuzzy Logic and Technology, 2025

2024
Residuated L-modules.
[BibTeX]
[DOI]
Michal Botur
Fuzzy Sets Syst., January, 2024

2023
Kites and representations of pseudo MV-algebras.
[BibTeX]
[DOI]
Michal Botur
,
Tomasz Kowalski
Fuzzy Sets Syst., March, 2023

2018
On generating of idempotent aggregation functions on finite lattices.
[BibTeX]
[DOI]
Michal Botur
,
Radomír Halas
,
Radko Mesiar
,
Jozef Pócs
Inf. Sci., 2018

2017
Partial tense MV-algebras and related functions.
[BibTeX]
[DOI]
Michal Botur
,
Jan Paseka
Fuzzy Sets Syst., 2017

2016
On pseudo-BL-algebras and pseudo-hoops with normal maximal filters.
[BibTeX]
[DOI]
Michal Botur
,
Anatolij Dvurecenskij
Soft Comput., 2016

Operators on Pavelka's algebras induced by fuzzy relations.
[BibTeX]
[DOI]
Michal Botur
Fuzzy Sets Syst., 2016

2015
On tense MV-algebras.
[BibTeX]
[DOI]
Michal Botur
,
Jan Paseka
Fuzzy Sets Syst., 2015

2013
State-morphism algebras - General approach.
[BibTeX]
[DOI]
Michal Botur
,
Anatolij Dvurecenskij
Fuzzy Sets Syst., 2013

On (finite) distributive lattices with antitone involutions.
[BibTeX]
[DOI]
Jan Kühr
,
Michal Botur
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

An elementary proof of the completeness of the Lukasiewicz axioms.
[BibTeX]
[DOI]
Michal Botur
,
Jan Paseka
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012
On normal-valued basic pseudo-hoops.
[BibTeX]
[DOI]
Michal Botur
,
Anatolij Dvurecenskij
,
Tomasz Kowalski
Soft Comput., 2012

States on commutative basic algebras.
[BibTeX]
[DOI]
Michal Botur
,
Radomír Halas
,
Jan Kühr
Fuzzy Sets Syst., 2012

2011
A non-associative generalization of Hájek's BL-algebras.
[BibTeX]
[DOI]
Michal Botur
Fuzzy Sets Syst., 2011

2010
Are basic algebras residuated structures?
[BibTeX]
[DOI]
Michal Botur
,
Ivan Chajda
,
Radomír Halas
Soft Comput., 2010

2009
On very true operators on pocrims.
[BibTeX]
[DOI]
Radomír Halas
,
Michal Botur
Soft Comput., 2009

Commutative basic algebras and non-associative fuzzy logics.
[BibTeX]
[DOI]
Michal Botur
,
Radomír Halas
Arch. Math. Log., 2009

2008
Finite Commutative Basic Algebras are MV-Effect Algebras.
[BibTeX]
[DOI]
Michal Botur
,
Radomír Halas
J. Multiple Valued Log. Soft Comput., 2008

2007
Complete Commutative Basic Algebras.
[BibTeX]
[DOI]
Michal Botur
,
Radomír Halas
Order, 2007


  Loading...