arXiv subjects

Michal Botur

Publications and source records attributed to Michal Botur.

23 records · Page 2Linked to original sources

arXiv2014

Operators induced by fuzzy relations

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.

math.LO↗

arXiv2013

On Tense MV-algebras

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.

math.AC↗

arXiv2013

On the extensions of Di Nola's Theorem

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].$

math.LO↗

arXiv2011

State-Morphism Algebras - General Approach

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.

math.AC↗

arXiv2011

On Normal-Valued Basic Pseudo Hoops

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.

math.AC↗