summary:New approach to characterization of orthomodular lattices by means of special types of bivariable functions $G$ is suggested. Under special marginal conditions a bivariable function $G$ can operate as, for example, infimum measure, supremum measure or symmetric difference measure for two elements of an orthomodular lattice
The structure of a state property system was introduced to formalize in a complete way the operation...
We ask which logics with a given centre allow for enlargements with an arbitrary state space. We sho...
AbstractThe (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Qu...
summary:New approach to characterization of orthomodular lattices by means of special types of bivar...
summary:New approach to characterization of orthomodular lattices by means of special types of bivar...
In this paper we will study a function of simultaneous measurements for quantum events (s-map) which...
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 20...
summary:In the logico-algebraic foundation of quantum mechanics one often deals with the orthomodula...
The (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Quantum lo...
summary:We investigate subadditive measures on orthomodular lattices. We show as the main result tha...
AbstractThe (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Qu...
In this paper we develop a logical system associated to two-valued states on orthomodular lattices. ...
In this paper we develop a logical system associated to two-valued states on orthomodular lattices. ...
In the thesis we deal with a binary operation that acts as abstract "symmetric difference". We endow...
summary:The notion of a joint distribution in $\sigma$-finite measures of observables of a quantum l...
The structure of a state property system was introduced to formalize in a complete way the operation...
We ask which logics with a given centre allow for enlargements with an arbitrary state space. We sho...
AbstractThe (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Qu...
summary:New approach to characterization of orthomodular lattices by means of special types of bivar...
summary:New approach to characterization of orthomodular lattices by means of special types of bivar...
In this paper we will study a function of simultaneous measurements for quantum events (s-map) which...
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 20...
summary:In the logico-algebraic foundation of quantum mechanics one often deals with the orthomodula...
The (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Quantum lo...
summary:We investigate subadditive measures on orthomodular lattices. We show as the main result tha...
AbstractThe (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Qu...
In this paper we develop a logical system associated to two-valued states on orthomodular lattices. ...
In this paper we develop a logical system associated to two-valued states on orthomodular lattices. ...
In the thesis we deal with a binary operation that acts as abstract "symmetric difference". We endow...
summary:The notion of a joint distribution in $\sigma$-finite measures of observables of a quantum l...
The structure of a state property system was introduced to formalize in a complete way the operation...
We ask which logics with a given centre allow for enlargements with an arbitrary state space. We sho...
AbstractThe (meta)logic underlying classical theory of computation is Boolean (two-valued) logic. Qu...
DOI
Add to ORKG