Results 91 to 100 of about 1,450 (155)

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

Stable Topology on Ideals for Residuated Lattices

Transactions on Fuzzy Sets and Systems
Residuated lattices are the major algebraic counterpart of logics without contraction rule, as they are more generalized logic systems including important classes of algebras such as Boolean algebras, MV-algebras, BL-algebras, Stonean residuated lattices,
Ariane GABRIEL Tallee Kakeu, Luc E. Diekouam, Blaise Bleriot Koguep N., Celestin Lele, Daniel Akume   +4 more
doaj  

Relating Algebraic and Coalgebraic Logics of Knowledge and Update [PDF]

, 2006
We provide a Coalgebraic semantics for dynamic epistemic logic and prove the muddy children puzzle using recursion. We show how by applying a similar approach to Jacob's predicate lifting to our Coalgebra, one obtains the algebraic logic version of ...
C. Cirstea, Sadrzadeh, Mehrnoosh, Sadrzadeh, M., M. Sadrzadeh, Cirstea, Corina, Cirstea, C.   +5 more
core  

SGF-Quantales and their Groupoids

, 2015
Technology, Policy and ...
H.H. Hansen (Helle), C. Ossa, A. Palmigiano, R. Re   +3 more
openaire   +2 more sources

Sheaves on involutive quantales: Grothendieck quantales

Fuzzy Sets and Systems, 2014
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heymans, Hans
exaly   +5 more sources

Some of the next articles are maybe not open access.

Related searches:

Enlargements of Quantales

Mathematica Slovaca, 2023
In this paper, we study the enlargements of quantales. We prove three main results. First, if Q is a factorizable quantale, then any matrix quantale over Q is an enlargement of Q; second, any unital Rees matrix quantale over a quantale Q with an identity
Urmas Luhaäär
semanticscholar   +3 more sources

Enumerating, Cataloguing and Classifying All Quantales on up to Nine Elements

Lecture Notes in Computer Science, 2023
Arman Shamsgovara
exaly   +2 more sources

Quantales

2000
Jan Paseka, Jiří Rosicky
exaly   +2 more sources