On the Boolean structure generated by -points of
On the concreteness of quantum logics
It is shown that for any quantum logic one can find a concrete logic and a surjective homomorphism from onto such that maps the centre of onto the centre of . Moreover, one can ensure that each finite set of compatible elements in is the image of a compatible subset of . This result is “best possible” - let a logic be the homomorphic image of a concrete logic under a homomorphism such that, if is a finite subset of the pre-image of a compatible subset of , then is compatible....
On the congruences in four-valued modal algebras
On the construction of dense lattices with a given automorphisms group
We consider the problem of constructing dense lattices in with a given non trivial automorphisms group. We exhibit a family of such lattices of density at least , which matches, up to a multiplicative constant, the best known density of a lattice packing. For an infinite sequence of dimensions , we exhibit a finite set of lattices that come with an automorphisms group of size , and a constant proportion of which achieves the aforementioned lower bound on the largest packing density. The algorithmic...
On the convergence and absolute continuity of signed states on a logic
On the elementary theory of inductive order.
On the geometry of computations
On the geometry of intuitionistic S4 proofs.
On The Greatest Congruence Of Relations
On the greatest congruence of relations.
On the homomorphisms of sum logics
On the individual ergodic theorem on a logic
On the lattice of deductive systems of a BL-algebra
For a BL-algebra A we denote by Ds(A) the lattice of all deductive systems of A. The aim of this paper is to put in evidence new characterizations for the meet-irreducible elements on Ds(A). Hyperarchimedean BL-algebras, too, are characterized.
On the lattice of n-filters of an LM n-algebra
For an n-valued Łukasiewicz-Moisil algebra L (or LM n-algebra for short) we denote by F n(L) the lattice of all n-filters of L. The goal of this paper is to study the lattice F n(L) and to give new characterizations for the meet-irreducible and completely meet-irreducible elements on F n(L).
On the lattice structure of quantum logics
On the Leibniz congruences
The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory the interderivability...
On The Limits Of The Families Of Lindenbaum Algebras
On the number of closed subsets of linear functions in the 6-valued logic
On the number of monotonic functions from two-valued logic to -valued logic
On the Order Type L-valued Relations on L-powersets.