Juan P Aguilera,Matthias Baaz
Juan P Aguilera
Modeling correlated information change: from conditional beliefs to quantum conditionals [0.03%]
相关信息变化的建模：从条件信念到量子条件式
Alexandru Baltag,Sonja Smets
Alexandru Baltag
In this paper, we propose a unified logical framework for representing and analyzing various forms of correlated information change. Our main thesis is that "logical dynamics," in the sense of van Benthem (Exploring logical dynamics. CSLI P...
Ivan Chajda,Helmut Länger
Ivan Chajda
We study conditions under which the lattice Id R of ideals of a given a commutative semiring R is complemented. At first we check when the annihilator I ∗ of a given ideal I of R is a complement of I. Further, we study complements o...
Ivan Chajda,Radomir Halaš,Helmut Länger
Ivan Chajda
The so-called non-associative MV-algebras were introduced recently by the first author and J. Kühr in order to have an appropriate tool for certain logics used in expert systems where associativity of the binary operation is excluded, see,...
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic [0.03%]
数学模糊逻辑中一类一阶结构的句法特征刻画
Guillermo Badia,Vicent Costa,Pilar Dellunde et al.
Guillermo Badia et al.
This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on clas...
Ivan Chajda,Helmut Länger
Ivan Chajda
Generalized Boolean quasirings are ring-like structures used as algebraic models in the foundations of axiomatic quantum mechanics. The quantum mechanical system corresponding to such a quasiring turns out to be a classical one if and only ...
Convex congruences [0.03%]
凸相合同关系
Ivan Chajda,Helmut Länger
Ivan Chajda
For an algebra [Formula: see text] belonging to a quasivariety [Formula: see text], the quotient [Formula: see text] need not belong to [Formula: see text] for every [Formula: see text]. The natural question arises for which [Formula: see t...
Thomas Vetterlein
Thomas Vetterlein
It is known that a quasimetric space can be represented by means of a metric space; the points of the former space become closed subsets of the latter one, and the role of the quasimetric is assumed by the Hausdorff quasidistance. In this p...
An integrative top-down and bottom-up qualitative model construction framework for exploration of biochemical systems [0.03%]
生化系统探索的整合自上而下和自下而 QUALITATIVE 模型构建框架
Zujian Wu,Wei Pang,George M Coghill
Zujian Wu
Computational modelling of biochemical systems based on top-down and bottom-up approaches has been well studied over the last decade. In this research, after illustrating how to generate atomic components by a set of given reactants and two...