Results 31 to 40 of about 419,838 (64)
Why mathematical morphology needs quantales
, 2009 The importance of complete lattices in mathematical morphology is well-known. There are some aspects of the subject that can, however, be clarified by using complete lattices equipped with the additional structure of a binary operation subject to ...
Stell, JG
core +5 more sources
Temporal Analysis and Classification of Sensor Signals. [PDF]
Sensors (Basel), 2023 Kosiuczenko P.
europepmc +1 more source
Sheaves on involutive quantales: Grothendieck quantales
, 2014 : We show that sheaves on Grothendieck quantales, which are the quantales that correspond to Grothendieck toposes, may be defined in several equivalent ways.
Heymans, Hans
core
Aggregation functions as lax morphisms of quantales [PDF]
[EN] We will generalize the concept of aggregation function for mathematical structures as a certain function between quantales. In fact, these functions turn to be exactly the lax morphism of quantales.
Fructuoso-Bonet, Alejandro +1 more
core +1 more source
A catalogue of finite quantales
, 2019 The purpose of this report is to count and present finite quantales with up tosix (6) elements in the base ...
Shamsgovara, Arman +2 more
core +3 more sources
Automated higher-order reasoning in quantales [PDF]
, 2010 Originally developed as an algebraic characterisation for quantum mechanics, the algebraic structure of quantales nowadays finds widespread applications ranging from (non-commutative) logics to hybrid systems. We present an approach to bring reasoning in
Höfner, Peter, Dang, Han Hing
core
Unitally nondistributive quantales
Unitally nondistributive quantales are unital quantales such that the unit is approximable by the totally below relation and does not meet-distribute over arbitrary joins. It is shown that the underlying nondistributive complete lattice contains at least
García, Javier Gutiérrez +1 more
core +1 more source
Algebra and Sequent Calculus for Epistemic Actions [PDF]
, 2005 We introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii ...
Sadrzadeh, Mehrnoosh +4 more
core +1 more source
Moore-Penrose equations in involutive residuated semigroups and involutive quantales
, 2017 In this paper we provide procedures for testing the existence of various types of generalized inverses in involutive residuated semigroups and involutive quantales defined by the Moore-Penrose equations, and for computing the extreme inverses ...
Jelena Ignjatovic, Miroslav Ciric
core +1 more source
Automated Higher-order Reasoning about Quantales
Originally developed as an algebraic characterisation for quantum mechanics, the algebraic structure of quantales nowadays finds widespread applications ranging from (non-commutative) logics to hybrid systems.
Han-Hing Dang, Peter Höfner
core +1 more source