Page 1 Next

Displaying 1 – 20 of 30

Showing per page

Quantum B-algebras

Wolfgang Rump (2013)

Open Mathematics

The concept of quantale was created in 1984 to develop a framework for non-commutative spaces and quantum mechanics with a view toward non-commutative logic. The logic of quantales and its algebraic semantics manifests itself in a class of partially ordered algebras with a pair of implicational operations recently introduced as quantum B-algebras. Implicational algebras like pseudo-effect algebras, generalized BL- or MV-algebras, partially ordered groups, pseudo-BCK algebras, residuated posets,...

Quantum logics and bivariable functions

Eva Drobná, Oľga Nánásiová, Ľubica Valášková (2010)

Kybernetika

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.

Quasicontinuous spaces

Jing Lu, Bin Zhao, Kaiyun Wang, Dong Sheng Zhao (2022)

Commentationes Mathematicae Universitatis Carolinae

We lift the notion of quasicontinuous posets to the topology context, called quasicontinuous spaces, and further study such spaces. The main results are: (1) A T 0 space ( X , τ ) is a quasicontinuous space if and only if S I ( X ) is locally hypercompact if and only if ( τ S I , ) is a hypercontinuous lattice; (2) a T 0 space X is an S I -continuous space if and only if X is a meet continuous and quasicontinuous space; (3) if a C -space X is a well-filtered poset under its specialization order, then X is a quasicontinuous space...

Quasi-implication algebras

Ivan Chajda, Kamil Dušek (2002)

Discussiones Mathematicae - General Algebra and Applications

A quasi-implication algebra is introduced as an algebraic counterpart of an implication reduct of propositional logic having non-involutory negation (e.g. intuitionistic logic). We show that every pseudocomplemented semilattice induces a quasi-implication algebra (but not conversely). On the other hand, a more general algebra, a so-called pseudocomplemented q-semilattice is introduced and a mutual correspondence between this algebra and a quasi-implication algebra is shown.

Quasi-modal algebras

Sergio A. Celani (2001)

Mathematica Bohemica

In this paper we introduce the class of Boolean algebras with an operator between the algebra and the set of ideals of the algebra. This is a generalization of the Boolean algebras with operators. We prove that there exists a duality between these algebras and the Boolean spaces with a certain relation. We also give some applications of this duality.

Currently displaying 1 – 20 of 30

Page 1 Next