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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Displaying 361 – 380 of 5985

Showing per page

A remark on λ -regular orthomodular lattices

Vladimír Rogalewicz (1989)

Aplikace matematiky

A finite orthomodular lattice in which every maximal Boolean subalgebra (block) has the same cardinality k is called λ -regular, if each atom is a member of just λ blocks. We estimate the minimal number of blocks of λ -regular orthomodular lattices to be lower than of equal to λ 2 regardless of k .

A representation theorem for tense n × m -valued Łukasiewicz-Moisil algebras

Aldo Victorio Figallo, Gustavo Pelaitay (2015)

Mathematica Bohemica

In 2000, Figallo and Sanza introduced n × m -valued Łukasiewicz-Moisil algebras which are both particular cases of matrix Łukasiewicz algebras and a generalization of n -valued Łukasiewicz-Moisil algebras. Here we initiate an investigation into the class tLM n × m of tense n × m -valued Łukasiewicz-Moisil algebras (or tense LM n × m -algebras), namely n × m -valued Łukasiewicz-Moisil algebras endowed with two unary operations called tense operators. These algebras constitute a generalization of tense Łukasiewicz-Moisil algebras...

A scoop from groups: equational foundations for loops

Phillips, J. D., Petr Vojtěchovský (2008)

Commentationes Mathematicae Universitatis Carolinae

Groups are usually axiomatized as algebras with an associative binary operation, a two-sided neutral element, and with two-sided inverses. We show in this note that the same simplicity of axioms can be achieved for some of the most important varieties of loops. In particular, we investigate loops of Bol-Moufang type in the underlying variety of magmas with two-sided inverses, and obtain ``group-like'' equational bases for Moufang, Bol and C-loops. We also discuss the case when the inverses are only...

A semantical hierarchy for modal formulas.

Salvatore Guccione, Roberto Tortora (1982)

Stochastica

In this paper a semantical partition, relative to Kripke models, is introduced for sets of formulas. Secondly, this partition is used to generate a semantical hierarchy for modal formulas. In particular some results are given for the propositional calculi T and S4.

Currently displaying 361 – 380 of 5985