Results 81 to 90 of about 1,450 (155)

Algebra and Sequent Calculus for Epistemic Actions [PDF]

open access: yes, 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

ON (L,M)-FUZZY TOPOGENOUS SPACES

open access: yesJournal of New Theory, 2015
In this paper, we introduce the concept of an (L, M )-fuzzy topogenous space, whereL, M are strictly two sided commutative quantales lattices. Basic properties of (L, M )-fuzzy topogenous spaces are studied, (L, M )-fuzzy topological spaces, (L, M ...
Ahmed Abdel-kader Ramadan   +1 more
doaj  

Automated higher-order reasoning in quantales [PDF]

open access: yes, 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  

Orthomodular Lattices and Quantales [PDF]

open access: yesInternational Journal of Theoretical Physics, 2005
Let $L$ be a complete orthomodular lattice. There is a one to one correspondence between complete boolean subalgebras of $L$ contained in the center of $L$ and endomorphisms $j$ of $L$ satisfying the Borceux-Van den Bossche conditions.
openaire   +3 more sources

Étale groupoids and their quantales [PDF]

open access: yes, 2007
We establish close and previously unknown relations between quantales and groupoids. In particular, to each étale groupoid, either localic or topological, there is associated a unital involutive quantale.
Resende, Pedro
core   +1 more source

The Coproduct of Unital Quantales [PDF]

open access: yes, 2011
In this paper, the definition of the saturated element in quantale is given, Based on the coproduct of monoids, the concrete forms of the coproduct of unital quantales is obatined. Also, some properties of their are discussed. KeyWords: Quantale; Monoid;
Liang, Shaohui
core   +1 more source

Moore-Penrose equations in involutive residuated semigroups and involutive quantales

open access: yes, 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

quantal

open access: yes
Citation: 'quantal' in the IUPAC Compendium of Chemical Terminology, 5th ed.; International Union of Pure and Applied Chemistry; 2025. Online version 5.0.0, 2025. 10.1351/goldbook.16017 • License: The IUPAC Gold Book is licensed under Creative Commons Attribution-ShareAlike CC BY-SA 4.0 International for individual terms.
openaire   +2 more sources

Quantales and Hyperstructures [PDF]

open access: yes, 2016
We present a theory of lattice-enriched semirings, called \emph{quantic semirings}, which generalize both quantales and powersets of hyperrings. Using these structures, we show how to recover the spectrum of a Krasner hyperring (and in particular, a ...
Dudzik, Andrew Joseph
core  

Home - About - Disclaimer - Privacy