Results 1  10
of
10,708
Directions in Lattice Theory
, 1994
"... This paper is about three problems raised by Bjarni Jonsson and their influence on the development and direction of lattice theory. In lattice theory ..."
Abstract
 Add to MetaCart
This paper is about three problems raised by Bjarni Jonsson and their influence on the development and direction of lattice theory. In lattice theory
Lattice theory and Metropolis simulation
"... This report contains a brief introduction to the lattice theory and path integral methods in Quantum Mechanics, including some short calculations on the harmonic oscillator. Numerical simulations based on the Metropolis algorithm have been performed to obtain some properties of the harmonic and anha ..."
Abstract
 Add to MetaCart
This report contains a brief introduction to the lattice theory and path integral methods in Quantum Mechanics, including some short calculations on the harmonic oscillator. Numerical simulations based on the Metropolis algorithm have been performed to obtain some properties of the harmonic
Constructive Lattice Theory
, 1993
"... A notion of simulation of one datatype by another is defined as a constructive preorder. A calculus of datatype simulation is then developed by formulating constructive versions of leastfixedpoint theorems in lattice theory. The calculus is applied to the construction of several isomorphisms betwe ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
A notion of simulation of one datatype by another is defined as a constructive preorder. A calculus of datatype simulation is then developed by formulating constructive versions of leastfixedpoint theorems in lattice theory. The calculus is applied to the construction of several isomorphisms
Application of model search to lattice theory
 AAA Newsletter
, 2001
"... We have used the firstorder modelsearching programs MACE and SEM to study various problems in lattice theory. First, we present a case study in which the two programs are used to examine the differences between the stages along the way from lattice theory to Boolean algebra. Second, we answer seve ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We have used the firstorder modelsearching programs MACE and SEM to study various problems in lattice theory. First, we present a case study in which the two programs are used to examine the differences between the stages along the way from lattice theory to Boolean algebra. Second, we answer
Notes on Lattice Theory
"... In the early 1890’s, Richard Dedekind was working on a revised and enlarged edition of Dirichlet’s Vorlesungen über Zahlentheorie, and asked himself the following question: Given three subgroups A, B, C of an abelian group G, how many different subgroups can you get by taking intersections and sums, ..."
Abstract

Cited by 6 (3 self)
 Add to MetaCart
In the early 1890’s, Richard Dedekind was working on a revised and enlarged edition of Dirichlet’s Vorlesungen über Zahlentheorie, and asked himself the following question: Given three subgroups A, B, C of an abelian group G, how many different subgroups can you get by taking intersections and sums, e.g., A + B, (A+B)∩C,
Geometric Identities in Lattice Theory
"... An Arguesian identity is an identity in GrassmannCayley algebras with certain multilinear properties of expressions in joins and meets of vectors and covectors. Many classical theorems of projective geometry and their generalizations to higher dimensions can be expressed as simple and elegant Argu ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Arguesian identities. In a previous work we showed that an Arguesian identity can be unfolded with respect to a vector variable to get a lattice inequality, which holds in various lattices. In this paper, we extend this technique to an arbitrary variable. We prove that for any variable v of an Arguesian
Fuzzy Soft Lattice Theory
"... Soft set theory was introduced by Molodtsov in 1999 as a general mathematical tool for dealing with problems that contain uncertainty. In this paper, we define concept of fuzzy soft lattice, fuzzy soft sublattice, complete fuzzy soft lattice, modular fuzzy soft lattice, distributive fuzzy soft latti ..."
Abstract
 Add to MetaCart
Soft set theory was introduced by Molodtsov in 1999 as a general mathematical tool for dealing with problems that contain uncertainty. In this paper, we define concept of fuzzy soft lattice, fuzzy soft sublattice, complete fuzzy soft lattice, modular fuzzy soft lattice, distributive fuzzy soft
T Lattice Theories of Chiral Fermions*
, 1986
"... We present a Hamiltonian formulation for gauged nonanomalous chiral theories on a spatial lattice. The formulation has the desirable properties that it provides exact chiral symmetry in the mass + 0 limit, with a correct fermion spectrum and correct weak coupling perturbation theory for QED. It can ..."
Abstract
 Add to MetaCart
We present a Hamiltonian formulation for gauged nonanomalous chiral theories on a spatial lattice. The formulation has the desirable properties that it provides exact chiral symmetry in the mass + 0 limit, with a correct fermion spectrum and correct weak coupling perturbation theory for QED
Results 1  10
of
10,708