All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Page 1 Next

Displaying 1 – 20 of 85

Showing per page

A Cantor-Bernstein theorem for σ -complete MV-algebras

Anna de Simone, Daniele Mundici, Mirko Navara (2003)

Czechoslovak Mathematical Journal

The Cantor-Bernstein theorem was extended to σ -complete boolean algebras by Sikorski and Tarski. Chang’s MV-algebras are a nontrivial generalization of boolean algebras: they stand to the infinite-valued calculus of Łukasiewicz as boolean algebras stand to the classical two-valued calculus. In this paper we further generalize the Cantor-Bernstein theorem to σ -complete MV-algebras, and compare it to a related result proved by Jakubík for certain complete MV-algebras.

A categorical view at generalized concept lattices

Stanislav Krajči (2007)

Kybernetika

We continue in the direction of the ideas from the Zhang’s paper [Z] about a relationship between Chu spaces and Formal Concept Analysis. We modify this categorical point of view at a classical concept lattice to a generalized concept lattice (in the sense of Krajči [K1]): We define generalized Chu spaces and show that they together with (a special type of) their morphisms form a category. Moreover we define corresponding modifications of the image / inverse image operator and show their commutativity...

A characterization of commutative basic algebras

Ivan Chajda (2009)

Mathematica Bohemica

A basic algebra is an algebra of the same type as an MV-algebra and it is in a one-to-one correspondence to a bounded lattice having antitone involutions on its principal filters. We present a simple criterion for checking whether a basic algebra is commutative or even an MV-algebra.

A glimpse of deductive systems in algebra

Dumitru Buşneag, Sergiu Rudeanu (2010)

Open Mathematics

The concept of a deductive system has been intensively studied in algebraic logic, per se and in connection with various types of filters. In this paper we introduce an axiomatization which shows how several resembling theorems that had been separately proved for various algebras of logic can be given unique proofs within this axiomatic framework. We thus recapture theorems already known in the literature, as well as new ones. As a by-product we introduce the class of pre-BCK algebras.

A groupoid characterization of Boolean algebras

Ivan Chajda (2004)

Discussiones Mathematicae - General Algebra and Applications

We present a groupoid which can be converted into a Boolean algebra with respect to term operations. Also conversely, every Boolean algebra can be reached in this way.

A new approach to representation of observables on fuzzy quantum posets

Le Ba Long (1992)

Applications of Mathematics

We give a representation of an observable on a fuzzy quantum poset of type II by a pointwise defined real-valued function. This method is inspired by that of Kolesárová [6] and Mesiar [7], and our results extend representations given by the author and Dvurečenskij [4]. Moreover, we show that in this model, the converse representation fails, in general.

A note on cylindric lattices

Ivo Düntsch (1993)

Banach Center Publications

0. Introduction. Besides being of intrinsic interest, cylindric (semi-) lattices arise naturally from the study of dependencies in relational databases; the polynomials on a cylindric semilattice are closely related to the queries obtainable from project-join mappings on a relational database (cf. [D] for references). This note is intended to initiate the study of these structures, and only a few, rather basic results will be given. Some problems at the end will hopefully stimulate further research....

Currently displaying 1 – 20 of 85

Page 1 Next