Related papers: Generalized Bosbach States
We define lifting properties for universal algebras, which we study in this general context and then particularize to various such properties in certain classes of algebras. Next we focus on residuated lattices, in which we investigate…
We introduce Riesz Logic, whose models are abelian lattice ordered groups, which generalise Riesz spaces (vector lattices), and show soundness and completeness. Our motivation is to provide a logic for distributional semantics of natural…
The paper is dedicated to the problem of adding a modality to the \Lukasiewicz many-valued logics in the purpose of obtaining completeness results for Kripke semantics. We define a class of modal many-valued logics and their corresponding…
We develop an approach where the quantum system states and quantum observables are described as in classical statistical mechanics -- the states are identified with probability distributions and observables, with random variables. An…
Interacting systems of particles with generalized statistics are considered on both classical and quantum level. It is shown that all possible quantum states and corresponding processes can be represented in terms of certain specific…
We introduce a relational semantics based on poset products, and provide sufficient conditions guaranteeing its soundness and completeness for various substructural logics. We also demonstrate that our relational semantics unifies and…
Recent work on the behaviour of localised states in pattern forming partial differential equations has focused on the traditional model Swift-Hohenberg equation which, as a result of its simplicity, has additional structure --- it is…
We formulate a theory of generalized Fock spaces which underlies the different forms of quantum statistics such as ``infinite'', Bose-Einstein and Fermi-Dirac statistics. Single-indexed systems as well as multi-indexed systems that cannot…
A residuated lattice is defined to be integrally closed if it satisfies the equations x\x = e and x/x = e. Every integral, cancellative, or divisible residuated lattice is integrally closed, and, conversely, every bounded integrally closed…
The paper is a contribution both to the theoretical foundations and to the actual construction of efficient automatizable proof procedures for non-classical logics. We focus here on the case of finite-valued logics, and exhibit: (i) a…
We study the mathematical properties of bilateral state-based modal logic (BSML), a modal logic employing state-based semantics (also known as team semantics), which has been used to account for free choice inferences and related linguistic…
Within the possibilistic approach to uncertainty modeling, the paper presents a modal logical system to reason about qualitative (comparative) statements of the possibility (and necessity) of fuzzy propositions. We relate this qualitative…
Effect algebras and pseudoeffect algebras were introduced by Foulis, Bennett, Dvurecenskij and Vetterlein as so-called quantum structures which serve as an algebraic axiomatization of the logic of quantum mechanics. A natural question…
In this paper we review different definitions that multi-state $k$-out-of-$n$ systems have received along the literature and study them in a unified way using the algebra of monomial ideals. We thus obtain formulas and algorithms to compute…
Relative and center of mass cordinates are used to generalize mutually unbiased bases (MUB) and define mutually unbiased bases (MUCB). Maximal entangled states are given as product staes in the collective varibles
Partition logics -- non-Boolean event structures obtained by pasting Boolean algebras -- provide a natural language for situations in which a system has a definite latent state but can be accessed and resolved only through mutually…
Possibilistic logic, an extension of first-order logic, deals with uncertainty that can be estimated in terms of possibility and necessity measures. Syntactically, this means that a first-order formula is equipped with a possibility degree…
In this paper, we extend the notions of states and measures presented in \cite{DvPu} to the case of pseudo-BCK algebras and study similar properties. We prove that, under some conditions, the notion of a state in the sense of \cite{DvPu}…
Algebras of Logic deal with some algebraic structures, often bounded lattices, considered as models of certain logics, including logic as a domain of order theory. There are well known their importance and applications in social life to…
We clarify the role played by BPS states in the calculation of threshold corrections of D=4, N=2 heterotic string compactifications. We evaluate these corrections for some classes of compactifications and show that they are sums of…