A Remark On Filter Regularity
A finite orthomodular lattice in which every maximal Boolean subalgebra (block) has the same cardinality 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 regardless of .
In this paper, we present a representation theorem for probabilistic metric spaces in general.
In 2000, Figallo and Sanza introduced -valued Łukasiewicz-Moisil algebras which are both particular cases of matrix Łukasiewicz algebras and a generalization of -valued Łukasiewicz-Moisil algebras. Here we initiate an investigation into the class tLM of tense -valued Łukasiewicz-Moisil algebras (or tense LM-algebras), namely -valued Łukasiewicz-Moisil algebras endowed with two unary operations called tense operators. These algebras constitute a generalization of tense Łukasiewicz-Moisil algebras...
Using ♢ , we construct a rigid atomless Boolean algebra that has no uncountable antichain and that admits the elimination of the Malitz quantifier .
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...
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.