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

Previous Page 2 Next

Displaying 21 – 40 of 85

Showing per page

A note on good pseudo BL-algebras

Magdalena Wojciechowska-Rysiawa (2010)

Discussiones Mathematicae - General Algebra and Applications

Pseudo BL-algebras are a noncommutative extention of BL-algebras. In this paper we study good pseudo BL-algebras and consider some classes of these algebras.

A note on Sugihara algebras.

Josep M. Font, Gonzalo Rodríguez Pérez (1992)

Publicacions Matemàtiques

In [4] Blok and Pigozzi prove syntactically that RM, the propositional calculus also called R-Mingle, is algebraizable, and as a consequence there is a unique quasivariety (the so-called equivalent quasivariety semantics) associated to it. In [3] it is stated that this quasivariety is the variety of Sugihara algebras. Starting from this fact, in this paper we present an equational base for this variety obtained as a subvariety of the variety of R-algebras, found in [7] to be associated in the same...

A relational semantics for the logic of bounded lattices

Luciano J. González (2019)

Mathematica Bohemica

This paper aims to propose a complete relational semantics for the so-called logic of bounded lattices, and prove a completeness theorem with regard to a class of two-sorted frames that is dually equivalent (categorically) to the variety of bounded lattices.

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 short note on lattices allowing disjunctive reasoning.

Enric Trillas, Eloy Renedo, Claudi Alsina (2006)

Mathware and Soft Computing

This short note shows that the scheme of disjunctive reasoning, a or b, not b : a, does not hold neither in proper ortholattices nor in proper de Morgan algebras. In both cases the scheme, once translated into the inequality b' · (a+b) ≤ a, forces the structure to be a boolean algebra.

Currently displaying 21 – 40 of 85