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

Page 1 Next

Displaying 1 – 20 of 30

Showing per page

QL-implications versus D-implications

Margarita Mas, Miquel Monserrat, Joan Torrens (2006)

Kybernetika

This paper deals with two kinds of fuzzy implications: QL and Dishkant implications. That is, those defined through the expressions I ( x , y ) = S ( N ( x ) , T ( x , y ) ) and I ( x , y ) = S ( T ( N ( x ) , N ( y ) ) , y ) respectively, where T is a t-norm, S is a t-conorm and N is a strong negation. Special attention is due to the relation between both kinds of implications. In the continuous case, the study of these implications is focused in some of their properties (mainly the contrapositive symmetry and the exchange principle). Finally, the case of non continuous t-norms...

Qualitative reasoning in Bayesian networks.

Paolo Garbolino (1996)

Mathware and Soft Computing

Some probabilistic inference rules which can be compared with the inference rules of preferential logic are given and it will be shown how they work in graphical models, allowing qualitative plausible reasoning in Bayesian networks.

Quantifier elimination in quasianalytic structures via non-standard analysis

Krzysztof Jan Nowak (2015)

Annales Polonici Mathematici

The paper is a continuation of an earlier one where we developed a theory of active and non-active infinitesimals and intended to establish quantifier elimination in quasianalytic structures. That article, however, did not attain full generality, which refers to one of its results, namely the theorem on an active infinitesimal, playing an essential role in our non-standard analysis. The general case was covered in our subsequent preprint, which constitutes a basis for the approach presented here....

Quantifier elimination, valuation property and preparation theorem in quasianalytic geometry via transformation to normal crossings

Krzysztof Jan Nowak (2009)

Annales Polonici Mathematici

This paper investigates the geometry of the expansion Q of the real field ℝ by restricted quasianalytic functions. The main purpose is to establish quantifier elimination, description of definable functions by terms, the valuation property and preparation theorem (in the sense of Parusiński-Lion-Rolin). To this end, we study non-standard models of the universal diagram T of Q in the language ℒ augmented by the names of rational powers. Our approach makes no appeal to the Weierstrass preparation...

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 coherent spaces and linear logic

Stefano Baratella (2010)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et 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 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.

Currently displaying 1 – 20 of 30

Page 1 Next