Page 1 Next

Displaying 1 – 20 of 706

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.

Currently displaying 1 – 20 of 706

Page 1 Next