Displaying similar documents to “Curry algebras N 1 ”

On the concreteness of quantum logics

Pavel Pták, John David Maitland Wright (1985)

Aplikace matematiky

Similarity:

It is shown that for any quantum logic L one can find a concrete logic K and a surjective homomorphism f from K onto L such that f maps the centre of K onto the centre of L . Moreover, one can ensure that each finite set of compatible elements in L is the image of a compatible subset of K . This result is “best possible” - let a logic L be the homomorphic image of a concrete logic under a homomorphism such that, if F is a finite subset of the pre-image of a compatible subset of L , then...

On the Leibniz congruences

Josep Font (1993)

Banach Center Publications

Similarity:

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...