相关论文: Boolean Methods in the Theory of Vector Lattices
We review a few results concerning interpolation of monotone functions on infinite lattices, emphasizing the role of set-theoretic considerations. We also discuss a few open problems.
We give a survey of the analytic theory of matrix orthogonal polynomials.
The paper explores categorical interconnections between lattice-valued Relational systems and algebras of Fitting's lattice-valued modal logic. We define lattice-valued boolean systems, and then we study co-adjointness, adjointness of…
Modified Volterra lattice admits two vector generalizations. One of them is studied for the first time. The zero curvature representations, B\"acklund transformations, nonlinear superposition principle and the simplest explicit solutions of…
The main aim of the present note is to consider bounded orthomorphisms between locally solid vector lattices. We establish a version of the remarkable Zannen theorem regarding equivalence between orthomomorphisms and the underlying vector…
A novel polynomial expansion method of symmetric Boolean functions is described. The method is efficient for symmetric Boolean function with small set of valued numbers and has the linear complexity for elementary symmetric Boolean…
In this article we investigate the notion and basic properties of Boolean algebras and prove the Stone's representation theorem. The relations of Boolean algebras to logic and to set theory will be studied and, in particular, a neat proof…
We develop Boolean-valued domain theory and show how the lambda-calculus can be interpreted in using domain-valued random variables. We focus on the reflexive domain construction rather than the language and its semantics. The notion of…
A new formulation for the study of interacting bosons on a lattice is introduced. This approach is used to give analytical expressions for the Mott insulating lobes in the phase diagram and to calculate the density-density correlation…
This survey is a brief introduction to the theory of hyperbolic buildings and their lattices, with a focus on recent results.
We classify the Boolean degree $1$ functions of $k$-spaces in a vector space of dimension $n$ (also known as Cameron-Liebler classes) over the field with $q$ elements for $n \geq n_0(k, q)$. This also implies that two-intersecting sets with…
Boolean networks are popular tools for the exploration of qualitative dynamical properties of biological systems. Several dynamical interpretations have been proposed based on the same logical structure that captures the interactions…
Interaction graphs provide an important qualitative modeling approach for System Biology. This paper presents a novel approach for construction of interaction graph with the help of Boolean function decomposition. Each decomposition part…
The Weyl relations, the harmonic oscillator, the hydrogen atom, the Dirac equation on the lattice are presented with the help of the difference equations and the orthogonal polynomials of discrete variable. This area of research is…
In this paper we introduce a new technique, based on dual quaternions, for the analysis of closed linkages with revolute joints: the theory of bonds. The bond structure comprises a lot of information on closed revolute chains with a…
Boolean models are applied to deriving operator versions of the classical Farkas Lemma in the theory of simultaneous linear inequalities.
This note reformulates certain classical combinatorial duality theorems in the context of order lattices. For source-target networks, we generalize bottleneck path-cut and flow-cut duality results to edges with capacities in a distributive…
Recent progresses of lattice QCD studies for hadron spectroscopy and interactions are briefly reviewed. Some emphasis are given on a new proposal for a method, which enable us to calculate potentials between hadrons. As an example of the…
An Onsager-like relation is proposed as a new criterion for constructing and analysing the lattice Boltzmann (LB) method. For LB models obeying the relation, we analyse their linearized stability, establish their diffusive limit, and find…
We prove that order convergence on a Boolean algebra turns it into a compact convergence space if and only if this Boolean algebra is complete and atomic. We also show that on an Archimedean vector lattice, order intervals are compact with…