Zobrazeno 1 - 10
of 76
pro vyhledávání: '"06E75"'
Autor:
Faigle, Ulrich
Systems of cooperation and interaction are usually studied in the context of real or complex vector spaces. Additional insight, however, is gained when such systems are represented in vector spaces with multiplicative structures, i.e., in algebras. A
Externí odkaz:
http://arxiv.org/abs/2404.15361
Double Boolean algebras are algebras $\underline{D}=(D;\sqcap,\sqcup,\neg,\lrcorner,\bot,\top)$ of type $(2,2,1,1,0,0)$ introduced by Rudolf Wille to capture the equational theory of the algebra of protoconcepts. Every double Boolean algebra $\underl
Externí odkaz:
http://arxiv.org/abs/2312.13686
We show that every locally integral involutive partially ordered semigroup (ipo-semigroup) $\mathbf A = (A,\le, \cdot, \sim,-)$, and in particular every locally integral involutive semiring, decomposes in a unique way into a family $\{\mathbf A_p : p
Externí odkaz:
http://arxiv.org/abs/2310.12926
Autor:
Janelidze, George, Sobral, Manuela
For a commutative semiring S, by an S-algebra we mean a commutative semiring A equipped with a homomorphism from S to A. We show that the subvariety of S-algebras determined by the identities 1+2x=1 and x^2=x is closed under non-empty colimits. The (
Externí odkaz:
http://arxiv.org/abs/2307.04383
We study varieties generated by semi-primal lattice-expansions by means of category theory. We provide a new proof of the Keimel-Werner topological duality for such varieties and, using similar methods, establish its discrete version. We describe mul
Externí odkaz:
http://arxiv.org/abs/2301.13406
Publikováno v:
Math. Slovaca 73 (2023), 1-16
In 1973, Katri\v{n}\'{a}k proved that regular double $p$-algebras can be regarded as (regular) double Heyting algebras by ingeniously constructing binary terms for the Heying implication and its dual in terms of pseudocomplement and its dual. In this
Externí odkaz:
http://arxiv.org/abs/2210.10387
We prove that the 18-element non-lattice orthomodular poset depicted in the paper is the smallest one and unique up to isomorphism. Since not every Boolean poset is orthomodular, we consider the class of the so-called generalized orthomodular posets
Externí odkaz:
http://arxiv.org/abs/2210.05334
Autor:
Burgstaller, Bernhard
Motivated by creating physical theories, formal languages $S$ with variables are considered and a kind of distance between elements of the languages is defined by the formula $d(x,y)= \ell(x \nabla y) - \ell(x) \wedge \ell(y)$, where $\ell$ is a leng
Externí odkaz:
http://arxiv.org/abs/2209.04849
Autor:
Lipparini, Paolo
Publikováno v:
International Journal of Algebra and Computation 32, No. 08 (2022) 1595-1614
We devise a condition strictly between the existence of an $n$-ary and an $n{+}1$-ary near-unanimity term. We evaluate exactly the distributivity and modularity levels implied by such a condition.
Comment: v. 2, a few fixes, a few additions
Comment: v. 2, a few fixes, a few additions
Externí odkaz:
http://arxiv.org/abs/2105.14041
Autor:
Howlader, Prosenjit, Banerjee, Mohua
In formal concept analysis, the collection of protoconcepts of any context forms a double Boolean algebra (dBa) which is fully contextual. Semiconcepts of a context form a pure dBa. The present article is a study on topological representation results
Externí odkaz:
http://arxiv.org/abs/2103.11387