Bounded BCK‐algebras and their generated variety

In this paper we prove that the equational class generated by bounded BCK‐algebras is the variety generated by the class of finite simple bounded BCK‐algebras. To obtain these results we prove that every simple algebra in the equational class generated by bounded BCK‐algebras is also a relatively simple bounded BCK‐algebra. Moreover, we show that every simple bounded BCK‐algebra can be embedded into a simple integral commutative bounded residuated lattice. We extend our main results to some richer subreducts of the class of integral commutative bounded residuated lattices and to the involutive case. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Join-semilattices whose sections are residuated PO-monoids

We generalize the concept of an integral residuated lattice to join-semilattices with an upper bound where every principal order-filter (section) is a residuated semilattice; such a structure is called a sectionally residuated semilattice. Natural examples come from propositional logic. For instance, implication algebras (also known as Tarski algebras), which are the algebraic models of the implication fragment of the classical logic, are sectionally residuated semilattices such that every section is even a Boolean algebra. A similar situation rises in case of the Lukasiewicz multiple-valued logic where sections are bounded commutative BCK-algebras, hence MV-algebras. Likewise, every integral residuated (semi)lattice is sectionally residuated in a natural way. We show that sectionally residuated semilattices can be axiomatized as algebras (A, r, →, ⇝, 1) of type 〈3, 2, 2, 0〉 where (A, →, ⇝, 1) is a {→, ⇝, 1}-subreduct of an integral residuated lattice. We prove that every sectionally residuated lattice can be isomorphically embedded into a residuated lattice in which the ternary operation r is given by r(x, y, z) = (x · y) ∨ z. Finally, we describe mutual connections between involutive sectionally residuated semilattices and certain biresiduation algebras. This work was supported by the Czech Government via the project MSM6198959214.     

BCC-algebras and residuated partially-ordered groupoid

The aim of the paper is to investigate the relationship between BCC-algebras and residuated partially-ordered groupoids. We prove that an integral residuated partially-ordered groupoid is an integral residuated pomonoid if and only if it is a double BCC-algebra. Moreover, we introduce the notion of weakly integral residuated pomonoid, and give a characterization by the notion of pseudo-BCI algebra. Finally, we give a method to construct a weakly integral residuated pomonoid (pseudo-BCI algebra) from any bounded pseudo-BCK algebra with pseudo product and any group.     

Lattice-theoretic properties of algebras of logic

In the theory of lattice-ordered groups, there are interesting examples of properties — such as projectability — that are defined in terms of the overall structure of the lattice-ordered group, but are entirely determined by the underlying lattice structure. In this paper, we explore the extent to which projectability is a lattice-theoretic property for more general classes of algebras of logic. For a class of integral residuated lattices that includes Heyting algebras and semi-linear residuated lattices, we prove that a member of such is projectable iff the order dual of each subinterval [a,1]$[a,1]$ is a Stone lattice. We also show that an integral GMV algebra is projectable iff it can be endowed with a positive Gödel implication. In particular, a ΨMV or an MV algebra is projectable iff it can be endowed with a Gödel implication. Moreover, those projectable involutive residuated lattices that admit a Gödel implication are investigated as a variety in the expanded signature. We establish that this variety is generated by its totally ordered members and is a discriminator variety.     

Kites and pseudo BL-algebras

We investigate a construction of a pseudo BL-algebra out of an ?-group called a kite. We show that many well-known examples of algebras related to fuzzy logics can be obtained in that way. We describe subdirectly irreducible kites. As another application, we exhibit a new countably infinite family of varieties of pseudo BL-algebras covering the variety of Boolean algebras.     

The Archimedean property: new horizons and perspectives

Although there have been repeated attempts to define the concept of an Archimedean algebra for individual classes of residuated lattices, there is no all-purpose definition that suits the general case. We suggest as a possible candidate the notion of a normal-valued and e-cyclic residuated lattice that has the zero radical compact property—namely, a normal-valued and e-cyclic residuated lattice in which every principal convex subuniverse has a trivial radical (understood as the intersection of all its maximal convex subuniverses). We characterize the Archimedean members in the variety of e-cyclic residuated lattices, as well as in various special cases of interest. A theorem to the effect that each Archimedean and prelinear GBL-algebra is commutative, subsuming as corollaries several analogous results from the recent literature, is grist to the mill of our proposal’s adequacy. Finally, we revisit the concept of a hyper-Archimedean residuated lattice, another notion with which researchers have engaged from disparate angles, and investigate some of its properties.     

Powerset Residuated Algebras and Generalized Lambek Calculus

We prove a representation theorem for (abstract) residuated algebras: each residuated algebra is isomorphically embeddable into a powerset residuated algebra. As a consequence, we obtain a completeness theorem for the Generalized Lambek Calculus. We use a Labelled Deductive System which generalizes the one used by Buszkowski [4] and Pankrat'ev [17] in completeness theorems for the Lambek Calculus.     

Modeling and dynamics of a two-line kite

A mathematical model of a kite connected to the ground by two straight tethers of varying lengths is presented and used to study the traction force generated by kites flying in cross-wind conditions. The equations of motion are obtained by using a Lagrangian formulation, which yields a low-order system of ordinary differential equations free of constraint forces. Two parameters are chosen for the analysis. The first parameter is the wind velocity. The second parameter is one of the stability derivatives of the aerodynamic model: the roll response to the sideslip angle, known also as effective dihedral. This parameter affects significantly the lateral dynamics of the kite. It has been found that when the effective dihedral is below a certain threshold, the kite follows stable periodic trajectories, and naturally flies in cross-wind conditions while generating a high tension along both tethers. This result indicates that kite-based propulsion systems could operate without controlling tether lengths if kite design, including the dihedral and sweep angles, is done appropriately. If both tether lengths are varied out-of-phase and periodically, then kite dynamics can be very complex. The trajectories are chaotic and intermittent for values of the effective dihedral below a certain negative threshold. It is found that tether tensions can be very similar with and without tether length modulation if the parameters of the model are well-chosen. The use of the model for pure traction applications of kites is discussed.     

Geometric and combinatorial structure of a class of spherical folding tessellations — I

A classification of dihedral folding tessellations of the sphere whose prototiles are a kite and an equilateral or isosceles triangle was obtained in recent four papers by Avelino and Santos (2012, 2013, 2014 and 2015). In this paper we extend this classification, presenting all dihedral folding tessellations of the sphere by kites and scalene triangles in which the shorter side of the kite is equal to the longest side of the triangle. Within two possible cases of adjacency, only one will be addressed. The combinatorial structure of each tiling is also analysed.     

伪对合剩余格(非可换)与伪效应代数(英文)

提出伪对合剩余格(非可换)的概念。通过在伪效应代数中引入两个部分运算,研究了伪对合剩余格与格伪效应代数之间的自然关系,证明了以下结论:在一定条件下,一个格伪效应代数可被扩张成为一个伪对合剩余格,同时一个伪对合剩余格可被限制为一个格伪效应代数。特别地,得到伪对合剩余格成为具有Riesz分解性质的格伪效应代数的一个充要条件。最后,还讨论了伪效应代数与剩余格的理想与滤子理论。     

Interior and closure operators on bounded residuated lattices

Bounded integral residuated lattices form a large class of algebras containing some classes of algebras behind many valued and fuzzy logics. In the paper we introduce and investigate multiplicative interior and additive closure operators (mi- and ac-operators) generalizing topological interior and closure operators on such algebras. We describe connections between mi- and ac-operators, and for residuated lattices with Glivenko property we give connections between operators on them and on the residuated lattices of their regular elements.     

Minimal varieties of residuated lattices

In this paper we investigate the atomic level in the lattice of subvarieties of residuated lattices. In particular, we give infinitely many commutative atoms and construct continuum many non-commutative, representable atoms that satisfy the idempotent law; this answers Problem 8.6 of [12]. Moreover, we show that there are only two commutative idempotent atoms and only two cancellative atoms. Finally, we study the connections with the subvariety lattice of residuated bounded-lattices. We modify the construction mentioned above to obtain a continuum of idempotent, representable minimal varieties of residuated bounded-lattices and illustrate how the existing construction provides continuum many covers of the variety generated by the three-element non-integral residuated bounded-lattice.In Celebration of the Sixtieth Birthday of Ralph N. McKenzieReceived August 1, 2003; accepted in final form April 27, 2004.     

The nullcone in the multi-vector representation of the symplectic group and related combinatorics

We study the nullcone in the multi-vector representation of the symplectic group with respect to a joint action of the general linear group and the symplectic group. By extracting an algebra over a distributive lattice structure from the coordinate ring of the nullcone, we describe a toric degeneration and standard monomial theory of the nullcone in terms of double tableaux and integral points in a convex polyhedral cone.     

伪统一模与剩余格之间的关系

讨论伪统一模与剩余格之间的关系,证明完备格上无穷∨-分配伪统一模和它的剩余蕴涵算子构成一个完备剩余格,并说明任给一个完备剩余格L=(L,∧,∨,*,e→,,*是无穷∨-分配的伪统一模,→和(?)是*的剩余蕴涵算子.     

剩余格及有界psBCK-代数成为布尔代数的充要条件

研究了一般剩余格(未必可换)与布尔代数的关系,给出剩余格成为布尔代数的一系列充要条件.同时,进一步将这些结果推广到只含有蕴涵运算的有界psBCK-代数中,证明了在一定条件下由psBCK-代数可诱导出有界格且构成布尔代数.     

A note on ideals in synaptic algebras

The notion of a synaptic algebra was introduced by David Foulis. Synaptic algebras unite the notions of an order-unit normed space, a special Jordan algebra, a convex effect algebra and an orthomodular lattice. In this note we study quadratic ideals in synaptic algebras which reflect its Jordan algebra structure. We show that projections contained in a quadratic ideal from a p-ideal in the orthomodular lattice of projections in the synaptic algebra and we find a characterization of those quadratic ideals which are generated by their projections.     

The subvariety of commutative residuated lattices represented by twist-products

Given an integral commutative residuated lattice L, the product L × L can be endowed with the structure of a commutative residuated lattice with involution that we call a twist-product. In the present paper, we study the subvariety ${\mathbb{K}}$ of commutative residuated lattices that can be represented by twist-products. We give an equational characterization of ${\mathbb{K}}$ , a categorical interpretation of the relation among the algebraic categories of commutative integral residuated lattices and the elements in ${\mathbb{K}}$ , and we analyze the subvariety of representable algebras in ${\mathbb{K}}$ . Finally, we consider some specific class of bounded integral commutative residuated lattices ${\mathbb{G}}$ , and for each fixed element ${{\bf L} \in \mathbb{G}}$ , we characterize the subalgebras of the twist-product whose negative cone is L in terms of some lattice filters of L, generalizing a result by Odintsov for generalized Heyting algebras.     

A new class of Kadison-Singer algebras

We show that the projection lattice generated by a maximal nest and a rank one projection in a separable infinite-dimensional Hilbert space is in general reflexive. Moreover we show that the corresponding reflexive algebra has a maximal triangular property, equivalently, it is a Kadison-Singer algebra. Similar results are also obtained for the lattice generated by a finite nest and a projection in a finite factor.