Related papers: Boolean Methods in the Theory of Vector Lattices
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we successfully build a filter model in which the interpretation…
When continuous fields are expanded in a wavelet basis, a D-dimensional continuum action becomes a (D+1)-dimensional lattice action on the naively discretized Poincare-patch coordinates of an Euclidean AdS(D+1). New possible criteria for…
Consistent interactions that can be added to a two-dimensional, free abelian gauge theory comprising a special class of BF-type models and a collection of vector fields are constructed from the deformation of the solution to the master…
We define Boolean algebras in the linear context and study its symmetric powers. We give explicit formulae for products in symmetric Boolean algebras of various dimensions. We formulate symmetric forms of the inclusion-exclusion principle.
In this paper we show that standard implementations of fluctuating Lattice Boltzmann methods do not obey Galilean invariance at a fundamental level. In trying to remedy this we are led to a novel kind of multi-relaxation time lattice…
Lattice Boltzmann methods are numerical schemes derived as a kinetic approximation of an underlying lattice gas. A numerical convergence theory for nonlinear convective-diffusive lattice Boltzmann methods is established. Convergence,…
We review principal results on axiomatizability of classes of lattices of equivalences
The properties of several phase transitions relevant to the lattice study of Quantum Field Theory are investigated.
We consider an ultra-small system of polarized bosons on an optical lattice with a ring topology interacting via long range dipole-dipole interactions. Dipoles polarized perpendicular to the plane of the ring reveal sharp transitions…
The aim of this paper is to build a new family of lattices related to some combinatorial extremal sum problems, in particular to a conjecture of Manickam, Mikl\"os and Singhi. We study the fundamentals properties of such lattices and of a…
Despite their apparent simplicity, random Boolean networks display a rich variety of dynamical behaviors. Much work has been focused on the properties and abundance of attractors. The topologies of random Boolean networks with one input per…
We show how the existence of various free vector lattices and free vector lattice algebras can be derived from a theorem on equational classes in universal algebra. A discussion about free $f$-algebras over non-empty sets is given, where…
Lattice field theory methods, usually associated with non-perturbative studies of quantum chromodynamics, are becoming increasingly common in the calculation of ground-state and thermal properties of strongly interacting non-relativistic…
This study presents a generalization for a method examining the correlation function of an arbitrary system with interactions in an Ising model to obtain a value of correlation between two arbitrary points on a network. The establishment of…
The fundamental ideas of aplicability of Levi-Malcev Theorem for Bol algebras, which plays a basic role in structural theory are outlined
Consistent couplings between a set of vector fields and a system of matter fields are analysed in the framework of Lagrangian BRST cohomology.
The paper proposes a general notion of interaction between attributes, which can be applied to many fields in decision making and data analysis. It generalizes the notion of interaction defined for criteria modelled by capacities, by…
We begin with a description of recent numerical and analytical results that are closely related to the results of this paper.
The notion of variation is introduced for the Boolean set and based on which Boolean logic backpropagation principle is developed. Using this concept, deep models can be built with weights and activations being Boolean numbers and operated…
We propose a new stability analysis of the Vectorial Lattice-Boltzmann Method (VLBM). The VLBM is a variant of the LBM with extended stability features: it allows to handle compressible flows with shock waves, while the LBM is limited to…