EuDML | Browse

The search session has expired. Please query the service again.

Items

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

Displaying 81 – 100 of 3896

A further investigation for Egoroff's theorem with respect to monotone set functions

Jun Li (2003)

Kybernetika

In this paper, we investigate Egoroff’s theorem with respect to monotone set function, and show that a necessary and sufficient condition that Egoroff’s theorem remain valid for monotone set function is that the monotone set function fulfill condition (E). Therefore Egoroff’s theorem for non-additive measure is formulated in full generality.

A fuzzy version of Tarski's fixpoint theorem

Abdelkader Stouti (2004)

Archivum Mathematicum

A fuzzy version of Tarski’s fixpoint Theorem for fuzzy monotone maps on nonempty fuzzy compete lattice is given.

A Galois connection between distance functions and inequality relations

Árpád Száz (2002)

Mathematica Bohemica

Following the ideas of R. DeMarr, we establish a Galois connection between distance functions on a set $S$ and inequality relations on $X_{S} = S \times ℝ$ . Moreover, we also investigate a relationship between the functions of $S$ and $X_{S}$ .

A Galois correspondence for boolean algebras

L. Varecza (1975)

Matematički Vesnik

A Galois correspondence for universal algebras

L. Varecza (1979)

Matematički Vesnik

A Generalization of Hanani's Theorem on Partial Order.

H. Burkill, Catherine V. Smallwood (1983)

Monatshefte für Mathematik

A generalization of the prime radical of an ideal.

Peña P., Alirio J. (1995)

Divulgaciones Matemáticas

A generalized Amman's fixed point theorem and its application to Nash equlibrium.

Stouti, Abdelkader (2005)

Acta Mathematica Academiae Paedagogicae Nyí regyháziensis. New Series [electronic only]

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 groupoid characterization of orthomodular lattices

Ivan Chajda (2005)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

We prove that an orthomodular lattice can be considered as a groupoid with a distinguished element satisfying simple identities.

A Hölder-type inequality for positive functionals on $Φ$ -algebras.

Boulabiar, Karim (2002)

JIPAM. Journal of Inequalities in Pure & Applied Mathematics [electronic only]

A hypervaluation of a ring onto a totally ordered non-cancellative semigroup without zero divisors.

Papadopoulos, John (1986)

International Journal of Mathematics and Mathematical Sciences

A lattice of homomorphs

Paz Jiménez Seral (1993)

Rendiconti del Seminario Matematico della Università di Padova

A Link Between Ordered Sets And Trees On The Rectangle Tree Hypothesis

Đuro Kurepa (1982)

Publications de l'Institut Mathématique

A Loomis-Sikorski theorem for logics

Jiří Binder (1988)

Mathematica Slovaca

A maximal chain approach to topology and order.

Vainio, R. (1988)

International Journal of Mathematics and Mathematical Sciences

A Measure for Semialgebraic Sets Related to Boolean Complexity.

Gilbert Stengle (1989)

Mathematische Annalen

A measure-theoretic characterization of Boolean algebras among orthomodular lattices

Pavel Pták, Sylvia Pulmannová (1994)

Commentationes Mathematicae Universitatis Carolinae

We investigate subadditive measures on orthomodular lattices. We show as the main result that an orthomodular lattice has to be distributive (=Boolean) if it possesses a unital set of subadditive probability measures. This result may find an application in the foundation of quantum theories, mathematical logic, or elsewhere.

A metric on a system of ordered sets

Alfonz Haviar, Pavel Klenovčan (1996)

Mathematica Bohemica

In [3] a metric on a system of isomorphism classes of ordered sets was defined. In this paper we define another metric on the same system and investigate some of its properties. Our approach is motivated by a problem from practice.

Currently displaying 81 – 100 of 3896

Previous Page 5 Next