# On the Coextension of Cut-Continuous Pomonoids

@article{Kruml2019OnTC, title={On the Coextension of Cut-Continuous Pomonoids}, author={David Kruml and Jan Paseka and Thomas Vetterlein}, journal={Order}, year={2019}, volume={36}, pages={271-290} }

We introduce cut-continuous pomonoids, which generalise residuated posets. The latter’s defining condition is that the monoidal product is residuated in each argument; we define cut-continuous pomonoids by requiring that the monoidal product is in each argument just cut-continuous. In the case of a total order, the condition of cut-continuity means that multiplication distributes over existing suprema. Morphisms between cut-continuous pomonoids can be chosen either in analogy with unital… Expand

#### 2 Citations

The MacNeille Completions for Residuated S-Posets

- Mathematics
- International Journal of Theoretical Physics
- 2019

In this paper, we continue the study of injectivity for fuzzy-like structures. We extend the results of Zhang and Paseka for S -semigroups to the setting of residuated S -posets. It turns out that… Expand

On ordinal sums of partially ordered monoids: A unified approach to ordinal sum constructions of t-norms, t-conorms and uninorms

- Mathematics
- 2021

Abstract This paper introduces two fundamental types of ordinal sum constructions for partially ordered monoids that are determined by two specific partial orderings on the disjoint union of the… Expand

#### References

SHOWING 1-10 OF 21 REFERENCES

Totally Ordered Monoids Based on Triangular Norms

- Mathematics
- 2015

A totally ordered monoid, or tomonoid for short, is a monoid together with a translation-invariant (i.e., compatible) total order. We consider in this paper tomonoids fulfilling the following… Expand

Tensor products for bounded posets revisited

- Mathematics
- 1990

The category BPC of bounded posets and so-called cut continuous maps has concrete products, and the Dedekind-MacNeille completion gives rise to a reflector from BPC to the full subcategory CLJ of… Expand

Tensor products and relation quantales

- Mathematics
- 2016

A classical tensor product $${A \otimes B}$$A⊗B of complete lattices A and B, consisting of all down-sets in $${A \times B}$$A×B that are join-closed in either coordinate, is isomorphic to the… Expand

The Structure of Residuated Lattices

- Mathematics, Computer Science
- Int. J. Algebra Comput.
- 2003

The notion of a normal subalgebra is developed and it is shown that ℛℒ is an "ideal variety" in the sense that it is an equational class in which congruences correspond to "normal" subalgebras in the same way that ring congruence correspond to ring ideals. Expand

Completions for partially ordered semigroups

- Mathematics
- 1986

A standard completion γ assigns a closure system to each partially ordered set in such a way that the point closures are precisely the (order-theoretical) principal ideals. If S is a partially… Expand

The Dedekind-MacNeille completion as a reflector

- Mathematics
- 1991

We introduce a special type of order-preserving maps between quasiordered sets, the so-called cut-stable maps. These form the largest morphism class such that the corresponding category of… Expand

A universal mapping characterization of the completion by cuts

- Mathematics
- 1978

Closed maps of lattices are defined to be those satisfying the condition that the inverse image of closed ideals are closed ideas. Residuated maps are closed and closed maps are complete-join… Expand

The algebraic theory of semigroups

- Mathematics
- 1964

This book, along with volume I, which appeared previously, presents a survey of the structure and representation theory of semi groups. Volume II goes more deeply than was possible in volume I into… Expand

Algebraic and Categorical Aspects of Quantales

- Mathematics
- 2008

Publisher Summary This chapter introduces the basic notions in theory of quantales. It describes the aspects of algebraic and categorical properties of quantales and quantale modules. This chapter… Expand

Minimal Varieties of Involutive Residuated Lattices

- Mathematics, Computer Science
- Stud Logica
- 2006

It is established the existence uncountably many atoms in the subvariety lattice of the variety of involutive residuated lattices based on the fact that every residuates lattice with greatest element can be associated in a canonical way with an involutive residencyuated lattice. Expand