Showing 1–17 of 17 results for author: Botur, M

Many-valued aspects of tense an related operators

Authors: Michal Botur, Jan Paseka, Richard Smolka

Abstract: Our research builds upon Halmos's foundational work on functional monadic Boolean algebras and our previous work on tense operators to develop three essential constructions, including the important concepts of fuzzy sets and powerset operators. These constructions have widespread applications across contemporary mathematical disciplines, including algebra, logic, and topology. The framework we pre… ▽ More Our research builds upon Halmos's foundational work on functional monadic Boolean algebras and our previous work on tense operators to develop three essential constructions, including the important concepts of fuzzy sets and powerset operators. These constructions have widespread applications across contemporary mathematical disciplines, including algebra, logic, and topology. The framework we present generates four covariant and two contravariant functors, establishing three adjoint situations. △ Less

Submitted 24 April, 2025; originally announced April 2025.

MSC Class: 06F07

Foulis quantales and complete orthomodular lattices

Authors: Michal Botur, Jan Paseka, Richard Smolka

Abstract: Our approach establishes a natural correspondence between complete orthomodular lattices and certain types of quantales. Firstly, given a complete orthomodular lattice X, we associate with it a Foulis quantale Lin(X) consisting of its endomorphisms. This allows us to view X as a left module over Lin(X), thereby introducing a novel fuzzy-theoretic perspective to the study of complete orthomodular… ▽ More Our approach establishes a natural correspondence between complete orthomodular lattices and certain types of quantales. Firstly, given a complete orthomodular lattice X, we associate with it a Foulis quantale Lin(X) consisting of its endomorphisms. This allows us to view X as a left module over Lin(X), thereby introducing a novel fuzzy-theoretic perspective to the study of complete orthomodular lattices. Conversely, for any Foulis quantale Q, we associate a complete orthomodular lattice [Q] that naturally forms a left Q-module. Furthermore, there exists a canonical homomorphism of Foulis quantales from Q to Lin([Q]). △ Less

Submitted 10 February, 2025; originally announced February 2025.

Comments: arXiv admin note: text overlap with arXiv:2501.12338

MSC Class: 06F99

A dagger kernel category of complete orthomodular lattices

Authors: Michal Botur, Jan Paseka, Richard Smolka

Abstract: Dagger kernel categories, a powerful framework for studying quantum phenomena within category theory, provide a rich mathematical structure that naturally encodes key aspects of quantum logic. This paper focuses on the category SupOMLatLin of complete orthomodular lattices with linear maps. We demonstrate that SupOMLatLin itself forms a dagger kernel category, equipped with additional structure su… ▽ More Dagger kernel categories, a powerful framework for studying quantum phenomena within category theory, provide a rich mathematical structure that naturally encodes key aspects of quantum logic. This paper focuses on the category SupOMLatLin of complete orthomodular lattices with linear maps. We demonstrate that SupOMLatLin itself forms a dagger kernel category, equipped with additional structure such as dagger biproducts and free objects. A key result establishes that every morphism in SupOMLatLin admits an essentially unique factorization as a zero-epi followed by a dagger monomorphism. This factorization theorem, along with the dagger kernel category structure of SupOMLatLin, provides new insights into the interplay between complete orthomodular lattices and the foundational concepts of quantum theory. △ Less

Submitted 28 January, 2025; v1 submitted 21 January, 2025; originally announced January 2025.

MSC Class: 06F99

Foulis m-semilattices and their modules

Authors: Michal Botur, Jan Paseka, Milan Lekár

Abstract: Building upon the results of Jacobs, we show that the category OMLatLin of orthomodular lattices and linear maps forms a dagger category. For each orthomodular lattice X, we construct a Foulis m-semilattice Lin(X) composed of endomorphisms of X. This m-semilattice acts as a quantale, enabling us to regard X as a left Lin(X)-module. Our novel approach introduces a fuzzy-theoretic dimension to the t… ▽ More Building upon the results of Jacobs, we show that the category OMLatLin of orthomodular lattices and linear maps forms a dagger category. For each orthomodular lattice X, we construct a Foulis m-semilattice Lin(X) composed of endomorphisms of X. This m-semilattice acts as a quantale, enabling us to regard X as a left Lin(X)-module. Our novel approach introduces a fuzzy-theoretic dimension to the theory of orthomodular lattices. △ Less

Submitted 29 March, 2025; v1 submitted 2 January, 2025; originally announced January 2025.

MSC Class: 06F99

Another look on tense and related operators

Authors: Michal Botur, Jan Paseka, Richard Smolka

Abstract: Motivated by the classical work of Halmos on functional monadic Boolean algebras we derive three basic sup-semilattice constructions, among other things the so-called powersets and powerset operators. Such constructions are extremely useful and can be found in almost all branches of modern mathematics, including algebra, logic and topology. Our three constructions give rise to four covariant and t… ▽ More Motivated by the classical work of Halmos on functional monadic Boolean algebras we derive three basic sup-semilattice constructions, among other things the so-called powersets and powerset operators. Such constructions are extremely useful and can be found in almost all branches of modern mathematics, including algebra, logic and topology. Our three constructions give rise to four covariant and two contravariant functors and constitute three adjoint situations we illustrate in simple examples. △ Less

Submitted 12 July, 2022; originally announced July 2022.

MSC Class: 08A72; 06F99

On generating of idempotent aggregation functions on finite lattices

Authors: Michal Botur, Radomír Halaš, Radko Mesiar, Jozef Pócs

Abstract: In a recent paper we proposed the study of aggregation functions on lattices via clone theory approach. Observing that aggregation functions on lattices just correspond to $0,1$-monotone clones, we have shown that all aggregation functions on a finite lattice $L$ can be obtained as usual composition of lattice operations $\wedge,\vee$, and certain unary and binary aggregation functions. The aim… ▽ More In a recent paper we proposed the study of aggregation functions on lattices via clone theory approach. Observing that aggregation functions on lattices just correspond to $0,1$-monotone clones, we have shown that all aggregation functions on a finite lattice $L$ can be obtained as usual composition of lattice operations $\wedge,\vee$, and certain unary and binary aggregation functions. The aim of this paper is to present a generating set for the class of intermediate (or, equivalently, idempotent) aggregation functions. This set consists of lattice operations and certain ternary idempotent aggregation functions. △ Less

Submitted 22 December, 2018; originally announced December 2018.

Comments: 18 pages

MSC Class: 06B99

The Conrad Program: From l-groups to algebras of logic

Authors: Michal Botur, Jan Kühr, Lianzhen Liu, Constantine Tsinakis

Abstract: A number of research articles have established the significant role of lattice-ordered groups (l-groups) in logic. The purpose of the present article is to lay the groundwork for, and provide significant initial contributions to, the development of a Conrad type approach to the study of algebras of logic. The term Conrad Program refers to Paul Conrad's approach to the study of l-groups, which anal… ▽ More A number of research articles have established the significant role of lattice-ordered groups (l-groups) in logic. The purpose of the present article is to lay the groundwork for, and provide significant initial contributions to, the development of a Conrad type approach to the study of algebras of logic. The term Conrad Program refers to Paul Conrad's approach to the study of l-groups, which analyzes the structure of individual l-groups or classes of l-groups by primarily using strictly lattice theoretic properties of their lattices of convex l-subgroups. The present article demonstrates that large parts of the Conrad Program can be profitably extended in the setting of e-cyclic residuated lattices. An indirect benefit of this work is the introduction of new tools and techniques in the study of algebras of logic, and the enhanced role of the lattice of convex subalgebras of a residuated lattice. △ Less

Submitted 2 October, 2018; originally announced October 2018.

Journal ref: Journal of Algebra 450 (2016), 173-203

Filters on some classes of quantum B-algebras

Authors: Michal Botur, Jan Paseka

Abstract: In this paper, we continue the study of quantum B-algebras with emphasis on filters on integral quantum B-algebras. We then study filters in the setting of pseudo-hoops. First, we establish an embedding of a cartesion product of polars of a pseudo-hoop into itself. Second, we give sufficient conditions for a pseudohoop to be subdirectly reducible. We also extend the result of Kondo and Turunen to… ▽ More In this paper, we continue the study of quantum B-algebras with emphasis on filters on integral quantum B-algebras. We then study filters in the setting of pseudo-hoops. First, we establish an embedding of a cartesion product of polars of a pseudo-hoop into itself. Second, we give sufficient conditions for a pseudohoop to be subdirectly reducible. We also extend the result of Kondo and Turunen to the setting of noncommutative residuated $\vee$-semilattices that, if prime filters and $\vee$-prime filters of a residuated $\vee$-semilattice $A$ coincide, then $A$ must be a pseudo MTL-algebra. △ Less

Submitted 9 September, 2018; originally announced September 2018.

MSC Class: 03G12; 03G27; 06F07; 06F15; 06A35

Journal ref: International Journal of Theoretical Physics, Year: 2015, Volume: 54 Pages: 4397 - 4409

Two-sided wreath product done right

Authors: Michal Botur, Tomasz Kowalski

Abstract: We investigate a semigroup construction related to the two-sided wreath product. It encompasses a range of known constructions and gives a slightly finer version of the decomposition in the Krohn-Rhodes Theorem, in which the three-element flip-flop is replaced by the two-element semilattice. We develop foundations of the theory of our construction, showing in the process that it naturally combines… ▽ More We investigate a semigroup construction related to the two-sided wreath product. It encompasses a range of known constructions and gives a slightly finer version of the decomposition in the Krohn-Rhodes Theorem, in which the three-element flip-flop is replaced by the two-element semilattice. We develop foundations of the theory of our construction, showing in the process that it naturally combines ideas from semigroup theory (wreath products), category theory (Grothendieck construction), and ordered structures (residuated lattices). △ Less

Submitted 20 June, 2018; originally announced June 2018.

MSC Class: 20M30 (Primary); 54H15 (Secondary)

Kites and Residuated Lattices

Authors: Michal Botur, Anatolij Dvurečenskij

Abstract: We investigate a construction of an integral residuated lattice starting from an integral residuated lattice and two sets with an injective mapping from one set into the second one. The resulting algebra has a shape of a Chinese cascade kite, therefore, we call this algebra simply a kite. We describe subdirectly irreducible kites and we classify them. We show that the variety of integral residuate… ▽ More We investigate a construction of an integral residuated lattice starting from an integral residuated lattice and two sets with an injective mapping from one set into the second one. The resulting algebra has a shape of a Chinese cascade kite, therefore, we call this algebra simply a kite. We describe subdirectly irreducible kites and we classify them. We show that the variety of integral residuated lattices generated by kites is generated by all finite-dimensional kites. In particular, we describe some homomorphisms among kites. △ Less

Submitted 2 July, 2017; originally announced July 2017.

MSC Class: 03G10; 03B50

Kite $n$-Perfect Pseudo Effect Algebras

Authors: Michal Botur, Anatolij Dvurečenskij

Abstract: Kite pseudo effect algebras were recently introduced as a class of interesting examples of pseudo effect algebras using a po-group, an index set and two bijections on the index set. We represent kite pseudo effect algebras with a special kind of the Riesz decomposition property as an interval in a lexicographic extension of the po-group which solves an open problem on representation of kites. In a… ▽ More Kite pseudo effect algebras were recently introduced as a class of interesting examples of pseudo effect algebras using a po-group, an index set and two bijections on the index set. We represent kite pseudo effect algebras with a special kind of the Riesz decomposition property as an interval in a lexicographic extension of the po-group which solves an open problem on representation of kites. In addition, we introduce kite $n$-perfect pseudo effect algebras and we characterize subdirectly irreducible algebras which are building stones of the theory. △ Less

Submitted 15 December, 2014; originally announced December 2014.

Comments: arXiv admin note: text overlap with arXiv:1306.0304, arXiv:1403.2289

MSC Class: 03G12; 81P15

On pseudo BL-algebras and pseudo hoops with normal maximal filters

Authors: Michal Botur, Anatolij Dvurečenskij

Abstract: We study the class of pseudo BL-algebras whose every maximal filter is normal. We present an equational base for this class and we extend these results for the class of basic pseudo hoops with fixed strong unit. We study the class of pseudo BL-algebras whose every maximal filter is normal. We present an equational base for this class and we extend these results for the class of basic pseudo hoops with fixed strong unit. △ Less

Submitted 6 December, 2014; originally announced December 2014.

MSC Class: 06D35

Operators induced by fuzzy relations

Authors: Michal Botur

Abstract: Theory of operators generated by binary fuzzy relations is highly increasing for its nature and applicability. The main goal of the paper is to present several representation theorems for operators induced by fuzzy relations (for example closure operators used in formal concept analysis, monadic operators or tense operators). Consequently we establish algebraic models with their semantics which ar… ▽ More Theory of operators generated by binary fuzzy relations is highly increasing for its nature and applicability. The main goal of the paper is to present several representation theorems for operators induced by fuzzy relations (for example closure operators used in formal concept analysis, monadic operators or tense operators). Consequently we establish algebraic models with their semantics which are usable in the non-classical logic research and in the computer science research. The obtained results are applied in the theory of Pavelka's algebras. △ Less

Submitted 7 June, 2014; originally announced June 2014.

On the extensions of Di Nola's Theorem

Authors: Michal Botur, Jan Paseka

Abstract: The main aim of this paper is to present a direct proof of Di Nola's representation Theorem for MV-algebras and to extend his results to the restriction of the standard MV-algebra on rational numbers. The results are based on a direct proof of the theorem which says that any finite partial subalgebra of a linearly ordered MV-algebra can be embedded into $\mathbb Q\cap [0,1].$ The main aim of this paper is to present a direct proof of Di Nola's representation Theorem for MV-algebras and to extend his results to the restriction of the standard MV-algebra on rational numbers. The results are based on a direct proof of the theorem which says that any finite partial subalgebra of a linearly ordered MV-algebra can be embedded into $\mathbb Q\cap [0,1].$ △ Less

Submitted 15 May, 2013; originally announced May 2013.

On Tense MV-algebras

Authors: Michal Botur, Jan Paseka

Abstract: The main aim of this article is to study tense MV-algebras which are just MV-algebras with new unary operations $G$ and $H$ which express a universal time quantifiers. Tense MV-algebras were introduced by D. Diagonescu and G. Georgescu. Using a new notion of an fm-function between MV-algebras we \zruseno{will prove} \zmena{settle a half of their Open problem about representation for some classes o… ▽ More The main aim of this article is to study tense MV-algebras which are just MV-algebras with new unary operations $G$ and $H$ which express a universal time quantifiers. Tense MV-algebras were introduced by D. Diagonescu and G. Georgescu. Using a new notion of an fm-function between MV-algebras we \zruseno{will prove} \zmena{settle a half of their Open problem about representation for some classes of tense MV-algebras, i.e., we show} that any tense semisimple MV-algebra is induced by a time frame analogously to classical works in this field of logic. As a by-product we obtain a new characterization of extremal states on MV-algebras. △ Less

Submitted 15 May, 2013; originally announced May 2013.

State-Morphism Algebras - General Approach

Authors: Michal Botur, Anatolij Dvurecenskij

Abstract: We present a complete description of subdirectly irreducible state BL-algebras as well as of subdirectly irreducible state-morphism BL-algebras. In addition, we present a general theory of state-morphism algebras, that is, algebras of general type with state-morphism which is an idempotent endomorphism. We define a diagonal state-morphism algebra and we show that every subdirectly irreducible stat… ▽ More We present a complete description of subdirectly irreducible state BL-algebras as well as of subdirectly irreducible state-morphism BL-algebras. In addition, we present a general theory of state-morphism algebras, that is, algebras of general type with state-morphism which is an idempotent endomorphism. We define a diagonal state-morphism algebra and we show that every subdirectly irreducible state-morphism algebra can be embedded into a diagonal one. We describe generators of varieties of state-morphism algebras, in particular ones of state-morphism BL-algebras, state-morphism MTL-algebras, state-morphism non-associative BL-algebras, and state-morphism pseudo MV-algebras. △ Less

Submitted 13 April, 2011; originally announced April 2011.

MSC Class: 06D35

On Normal-Valued Basic Pseudo Hoops

Authors: Michal Botur, Anatolij Dvurečenskij, Tomasz Kowalski

Abstract: We show that every pseudo hoop satisfies the Riesz Decomposition Property. We visualize basic pseudo hoops by functions on a linearly ordered set. Finally, we study normal-valued basic pseudo hoops giving a countable base of equations for them. We show that every pseudo hoop satisfies the Riesz Decomposition Property. We visualize basic pseudo hoops by functions on a linearly ordered set. Finally, we study normal-valued basic pseudo hoops giving a countable base of equations for them. △ Less

Submitted 26 February, 2011; originally announced February 2011.

MSC Class: 06D35