Related papers: Positive Strong Amalgamation
We study versions of Kleene algebra with dynamic tests, that is, extensions of Kleene algebra with domain and antidomain operators. We show that Kleene algebras with tests and Propositional dynamic logic correspond to special cases of the…
Based on ideas of quantum theory of open systems we propose the consistent approach to the formulation of logic of plausible propositions. To this end we associate with every plausible proposition diagonal matrix of its likelihood and…
By using conformal symmetry we unify the standard model of particle physics with gravity in a consistent quantum field theory which describes all the fundamental particles and forces of nature.
Weighted gradual semantics provide an acceptability degree to each argument representing the strength of the argument, computed based on factors including background evidence for the argument, and taking into account interactions between…
We show that the theories of partially ordered sets, lattices, semilattices, Boolean algebras, Heyting algebras with a further coarser partial order, or a linearization, or an auxiliary relation have the strong amalgamation property,…
We propose FC, a new logic on words that combines finite model theory with the theory of concatenation - a first-order logic that is based on word equations. Like the theory of concatenation, FC is built around word equations; in contrast…
Building on our previous work on enriched universal algebra, we define a notion of enriched language consisting of function and relation symbols whose arities are objects of the base of enrichment. In this context, we construct atomic…
A unified theory of language combines a Bayesian cognitive linguistic model of language processing, with the proposal that language evolved by sexual selection for the display of intelligence. The theory accounts for the major facts of…
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to an arbitrary set of axioms is hard, even for relatively…
Epistemic logics of intensional groups lift the assumption that membership in a group of agents is common knowledge. Instead of being represented directly as a set of agents, intensional groups are represented by a property that may change…
The paper gives the sufficient condition formulated in the syntactical form for all codescent morphisms of a variety of universal algebras satisfying the amalgamation property to be effective. This result is further used in proving that all…
The FKG theorem says that the POSITIVE LATTICE CONDITION, an easily checkable hypothesis which holds for many natural families of events, implies POSITIVE ASSOCIATION, a very useful property. Thus there is a natural and useful theory of…
We survey some of the connections linking complex dynamics to other fields of mathematics and science. We hope to show that complex dynamics is not just interesting on its own but also has value as an applicable theory.
We present a general strategy that allows a more flexible method for the construction of fully additive multipartite entanglement monotones than the ones so far reported in the literature of axiomatic entanglement measures. Within this…
We explore the integration of representations from a Lie algebra to its algebraic group in positive characteristic. An integrable module is stable under the twists by group elements. Our aim is to investigate cohomological obstructions for…
This thesis is dedicated to developing a dilation theory for semigroups of completely positive maps. The first part treats two-parameter semigroups, and contains also contributions to dilation theory of product system representations. The…
We discuss an unusual phenomenon in (integral) positive ternary quadratic forms. We also describe an interesting pairing of genera of ternary forms.
We prove two completeness results for Kleene algebra with tests and a top element, with respect to guarded string languages and binary relations. While the equational theories of those two classes of models coincide over the signature of…
An algebraic proof is presented for the finite strong standard completeness of involutive uninorm logic with fixed point. The result may provide a first step towards settling the open standard completeness problem for involutive uninorm…
Variational weak-coupling perturbation theory yields converging approximations, uniformly in the coupling strength. This allows us to calculate directly the coefficients of `strong-coupling' expansions. For the anharmonic oscillator we…