Results 41 to 50 of about 131 (121)

On Quantic Conuclei in Orthomodular Lattices

open access: yesTheory and Applications of Categories, 1996
Summary: We study the lattice of quantic conuclei for orthomodular lattices. We show that under certain conditions we can get a complete characterization of all quantic conuclei. The thing to note is that we use a noncommutative, nonassociative disjunction operation which can be thought of as from noncommutative, nonassociative linear logic.
Román, Leopoldo, Zuazua, Rita E.
openaire   +2 more sources

Orthomodular Lattices [PDF]

open access: yesFormalized Mathematics, 2008
Elzbieta Madra, Adam Grabowski
openaire   +1 more source

Roughness in Orthomodular Lattices

open access: yesInternational Journal of Mathematics and Soft Computing, 2012
In this paper, we define the rough approximation operators in an algebra using its congruence relations and study some of their properties. Further, we consider the rough approximation operators in orthomodular lattices. We introduce the notion of rough ideal (filter) with respect to a p-ideal in an orthomodular lattice.
D. Umadevi, E. K. R Nagarajan
openaire   +1 more source

Axioms for the category of Hilbert spaces. [PDF]

open access: yesProc Natl Acad Sci U S A, 2022
Heunen C, Kornell A.
europepmc   +1 more source

Sheffer operation in relational systems. [PDF]

open access: yesSoft comput, 2022
Chajda I, Länger H.
europepmc   +1 more source

On Boolean posets of numerical events. [PDF]

open access: yesAdv Comput Intell, 2021
Dorninger D, Länger H.
europepmc   +1 more source

Editorial: Bio A.I. - from embodied cognition to enactive robotics. [PDF]

open access: yesFront Neurorobot, 2023
Safron A, Hipólito I, Clark A.
europepmc   +1 more source

Home - About - Disclaimer - Privacy