Related papers: Residuated implications derived from quasi-overlap…
In this paper, the spherical quasi-convexity of quadratic functions on spherically subdual convex sets is studied. Sufficient conditions for spherical quasi-convexity on spherically subdual convex sets are presented. A partial…
A co-valuation is, essentially, a minimal finite cover. We introduce a logic based on co-valuations, which play the role of valuations of free variables in classical first-order logic, and show that the fundamental tools of model theory --…
In this paper, we introduce the concept of nearly convex set-valued mappings and investigate fundamental properties of these mappings. Additionally, we establish a geometric approach for generalized differentiation of nearly convex…
We translate notions and results of decomposition and dimension theories for module categories, into the lattice environment. In particular we translate dimension theory in module categories to complete modular upper-continuous lattices.
Absolute Parallelism (AP) has many interesting features: large symmetry group of equations; field irreducibility with respect to this group; vast list of consistent second order equations not restricted to Lagrangian ones. There is the…
In this paper we study a family of limsup sets that are defined using iterated function systems. Our main result is an analogue of Khintchine's theorem for these sets. We then apply this result to the topic of intrinsic Diophantine…
We prove that the universal theory and the quasi-equational theory of bounded residuated distributive lattice-orderegroupoids are both EXPTIME-complete. Similar results areproven for bounded distributive lattices with a unary or binary…
The residual finite-dimensionality of a $\mathrm{C}^*$-algebra is known to be encoded in a topological property of its space of representations, stating that finite-dimensional representations should be dense therein. We extend this…
In this paper the spherical quasi-convexity of quadratic functions on spherically convex sets is studied. Several conditions characterizing the spherical quasi-convexity of quadratic functions are presented. In particular, conditions…
Weakly orthomodular and dually weakly orthomodular lattices were introduced by the authors in a recent paper. Similarly as for orthomodular lattices we try to introduce an implication in these lattices which can be easily axiomatized and…
In our previous papers, together with J. Paseka we introduced so-called sectionally pseudocomplemented lattices and posets and illuminated their role in algebraic constructions. We believe that - similar to relatively pseudocomplemented…
Properties of first-order Sobolev-type spaces on abstract metric measure spaces, so-called Newtonian spaces, based on quasi-Banach function lattices are investigated. The set of all weak upper gradients of a Newtonian function is of…
In this paper we study projective algebras in varieties of (bounded) commutative integral residuated lattices from an algebraic (as opposed to categorical) point of view. In particular we use a well-established construction in residuated…
In this paper, we give some definitions on quasi-convex functions and we prove inequalities contain J-quasi-convex and W-quasi-convex functions. We give also some inclusions.
In this paper we prove geometric residue theorems for bundle maps over a compact manifold. The theory developed associates residues to the singularity submanifolds of the map for any invariant polynomial. The theory is then applied to a…
In the present work, for $\mathbb{X}$ a Banach space, the notion of piecewise continuous $\mathbb{Z}$-almost automorphic functions with values in finite dimensional spaces is extended to piecewise continuous $\mathbb{Z}$-almost automorphic…
We demonstrate quasi-isometric rigidity for the product of a non-uniform rank one lattice and a nilpotent lattice. Specifically, we show that any finitely-generated group quasi-isometric to such a product is, up to finite noise, an…
We introduce different classical characteristics used to regularize a subharmonic function and compare them. As an application we give a complete proof of a useful characterization of the modulus of continuity of such functions in terms of…
We show that, for every orthogonal lub-complete poset P, we can introduce multiple-valued implications sharing properties with quantum implications presented for orthomodular lattices by Kalmbach. We call them classical implication,…
We present a complete logic for reasoning with functional dependencies (FDs) with semantics defined over classes of commutative integral partially ordered monoids and complete residuated lattices. The dependencies allow us to express…