This is done by showing that every non-distributive subspace lattice on a finite-dimensional space has a non-reflexive realization on the same space.W. ... WE Longstaff - 《Journal of the London Mathematical Society》 被引量: 7发表: 1988年 Characterization Theorems for Modular and Distributive...
Distributive Lattices; Boolean Algebras; Orthomodular Lattices; Huntington Varieties; Equational Logic; Self-Dual Equational Bases; Automated Reasoning; --> Upda... R Padmanabhan,S Rudeanu - WORLD SCIENTIFIC 被引量: 54发表: 2008年 Lattice theory and its applications In celebration of Garrett Birkhoff...
Then we prove that an α-subset is a lattice ideal of L. In the end, we discuss the properties of annihilator.LONG Xi-qingXU Yang东华大学学报(英文... XQ Long,XU Yang - 《东华大学学报(英文版)》 被引量: 0发表: 2006年 System and method of epsilon removal of weighted automata and tra...
This forces L to be complemented modular. All known sufficient conditions for coordinatizability, due first to von Neumann, then to Ju00f3nsson, are first-order. Nevertheless, we prove that coordinatizability of lattices is not first-order, by finding a non-coordinatizable lattice K with a ...
A modular semilattice is a semilattice generalization of a modular lattice. We establish a Birkhoff-type representation theorem for modular semilattices, w... H Hirai,S Nakashima - 《Order-a Journal on the Theory of Ordered Sets & Its Applications》 被引量: 0发表: 0年 The median function on...
On the lattice of order ideals of an up-down poset The combinatorial structure of the distributive lattice of order ideals of an up-down poset is studied. Two recursions are given for the Whitney numbers, and generating functions for the Whitney numbers are derived. In addition, an expli.....
A connection between distributivity and locality in compound P-lattices A P-lattice is a 蟽-complete, orthomodular atomic latticeLwhich is formed by the set of propositions of a physical system. A composition of physical system... Watanabe,Teppei - 《Journal of Mathematical Physics》 被引量: ...
The class of all subvarieties in a fixed variety of pairs forms a lattice. Theorem. Let V be a variety of pairs. Then the lattice of subvarieties in V is distributive if and only if V satisfies a weak identity of the form a[x,y]y+by[x,y]=0 where a,b∈k and (a,b)≠(0,...
关键词: quantum logic logic of quantum mechanics quantum computation orthomodular lattices weakly orthomodular lattices classical logic Boolean algebra weakly distributive lattices model theory categoricity DOI: 10.1023/A:1026601108554 年份: 1999 收藏...
Suppose M and N are finitely generated R-modules. We prove two rigidity theorems on the vanishing of Tor. In the first theorem we assume that the ... C Huneke,R Wiegand - 《Mathematische Annalen》 被引量: 182发表: 1994年 The algebraic structure of finitely generated -modules and the Hell...