All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 179 Next

Displaying 3561 – 3580 of 5989

Showing per page

Quantum coherent spaces and linear logic

Stefano Baratella (2011)

RAIRO - Theoretical Informatics and Applications

Quantum Coherent Spaces were introduced by Girard as a quantum framework where to interpret the exponential-free fragment of Linear Logic. Aim of this paper is to extend Girard's interpretation to a subsystem of linear logic with bounded exponentials. We provide deduction rules for the bounded exponentials and, correspondingly, we introduce the novel notion of bounded exponentials of Quantum Coherent Spaces. We show that the latter provide a categorical model of our system. In order to do that,...

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.

Quasi-bounded trees and analytic inductions

Jean Saint Raymond (2006)

Fundamenta Mathematicae

A tree T on ω is said to be cofinal if for every α ∈ ω ω there is some branch β of T such that α ≤ β, and quasi-bounded otherwise. We prove that the set of quasi-bounded trees is a complete Σ¹₁-inductive set. In particular, it is neither analytic nor co-analytic.

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.

Quasi-uniform Space

Roland Coghetto (2016)

Formalized Mathematics

In this article, using mostly Pervin [9], Kunzi [6], [8], [7], Williams [11] and Bourbaki [3] works, we formalize in Mizar [2] the notions of quasiuniform space, semi-uniform space and locally uniform space. We define the topology induced by a quasi-uniform space. Finally we formalize from the sets of the form ((X Ω) × X) ∪ (X × Ω), the Csaszar-Pervin quasi-uniform space induced by a topological space.

Questions

Alexey Ostrovsky (2005)

Acta Universitatis Carolinae. Mathematica et Physica

Quotient algebraic structures on the set of fuzzy numbers

Dorina Fechete, Ioan Fechete (2015)

Kybernetika

A. M. Bica has constructed in [6] two isomorphic Abelian groups, defined on quotient sets of the set of those unimodal fuzzy numbers which have strictly monotone and continuous sides. In this paper, we extend the results of above mentioned paper, to a larger class of fuzzy numbers, by adding the flat fuzzy numbers. Furthermore, we add the topological structure and we characterize the constructed quotient groups, by using the set of the continuous functions with bounded variation, defined on [ 0 , 1 ] .

Quotient hyper pseudo BCK-algebras

Habib Harizavi, Tayebeh Koochakpoor, Rajab Ali Boorzoei (2013)

Discussiones Mathematicae - General Algebra and Applications

In this paper, we first investigate some properties of the hyper pseudo BCK-algebras. Then we define the concepts of strong and reflexive hyper pseudo BCK-ideals and establish some relationships among them and the other types of hyper pseudo BCK-ideals. Also, we introduce the notion of regular congruence relation on hyper pseudo BCK-algebras and investigate some related properties. By using this relation, we construct the quotient hyper pseudo BCK-algebra and give some related results.

Currently displaying 3561 – 3580 of 5989