Results 101 to 110 of about 378,509 (227)

An Algebraic Glimpse at Bunched Implications and Separation Logic [PDF]

arXiv, 2017
We overview the logic of Bunched Implications (BI) and Separation Logic (SL) from a perspective inspired by Hiroakira Ono's algebraic approach to substructural logics. We propose generalized BI algebras (GBI-algebras) as a common framework for algebras arising via "declarative resource reading", intuitionistic generalizations of relation algebras and ...
arxiv  

Topological coordination numbers and coordination reciprocity from electron‐density distributions

Acta Crystallographica Section A, Volume 81, Issue 3, Page 221-244, May 2025.
An approach is presented to calculate topological coordination numbers (tCNs) obeying the principle of coordination reciprocity from solid angles subtended by the interatomic surfaces of electron density (QTAIM) atomic domains. The tCN approach characterizes a compound's coordination situation as a set of sub‐coordination scenarios with associated ...
Frank R. Wagner, Riccardo Freccero, Yuri Grin   +2 more
wiley   +1 more source

Foulis-Holland theorem for implicative-orthomodular lattices [PDF]

arXiv
We introduce the notion of distributivity for implicative-orthomodular lattices, proving an analogue result of the Foulis-Holland theorem. Based on this result, we characterize the distributive implicative-orthomodular lattices. Moreover, we define the center of an implicative-orthomodular lattice as the set of all elements that commute with all other ...
arxiv  

n-fold filters in residuated lattice [PDF]

arXiv, 2013
Residuated lattices play an important role in the study of fuzzy logic based of t-norm. In this paper, we introduced the notions of n-fold implicative filters, n-fold positive implicative filters, n-fold boolean filters, n-fold fantastic filters, n-fold normal filters and n-fold obstinate filters in residuated lattices and study the relations among ...
arxiv  

Local character expansions and asymptotic cones over finite fields

Proceedings of the London Mathematical Society, Volume 130, Issue 5, May 2025.
Abstract We generalise Gelfand–Graev characters to R/Z$\mathbb {R}/\mathbb {Z}$‐graded Lie algebras and lift them to produce new test functions to probe the local character expansion in positive depth. We show that these test functions are well adapted to compute the leading terms of the local character expansion and relate their determination to the ...
Dan Ciubotaru, Emile Okada
wiley   +1 more source

Feeling of hand deformation as a monkey's hand: an experiment on a visual body with discomfort and its algebraic analysis. [PDF]

Front Neurosci, 2023
Ruijia Y, Sakura H, Gunji YP.
europepmc   +1 more source

Implicative BE algebras as orthogonality spaces [PDF]

arXiv
We obtain an orthogonality space by endowing an implicative involutive BE algebra with an appropriate orthogonality relation; for these spaces, we also study the particular case of implicative-orthomodular lattices. Moreover, we define the Sasaki projections as well as the commutativity relation on these structures, proving that an implicative ...
arxiv  

On the coset structure of distributive skew lattices [PDF]

arXiv, 2012
In the latest developments in the theory of skew lattices, distributivity has been one of the main topics of study. The largest classes of examples of such algebras are distributive. Unlike what happens in lattices, the properties of cancellation and distributivity are independent for skew lattices.
arxiv  

Modeling Method to Abstract Collective Behavior of Smart IoT Systems in CPS. [PDF]

Sensors (Basel), 2022
Song J, Karagiannis D, Lee M.
europepmc   +1 more source

Strong prime LI-ideals in lattice implication algebras [PDF]

, 2007
Bai Li-jun, Yang Xu, Zhiyan Chang, Weitao Xu   +3 more
openalex   +1 more source