Displaying 141 – 160 of 708

Showing per page

Construction methods for uni-nullnorms and null-uninorms on bounded lattice

Ümit Ertuğrul, M. Nesibe Kesicioğlu, Funda Karaçal (2019)

Kybernetika

In this paper, two construction methods have been proposed for uni-nullnorms on any bounded lattices. The difference between these two construction methods and the difference from the existing construction methods have been demonstrated and supported by an example. Moreover, the relationship between our construction methods and the existing construction methods for uninorms and nullnorms on bounded lattices are investigated. The charactertics of null-uninorms on bounded lattice L are given and a...

Convergence and submeasures in Boolean algebras

Tomáš Jech (2018)

Commentationes Mathematicae Universitatis Carolinae

A Boolean algebra carries a strictly positive exhaustive submeasure if and only if it has a sequential topology that is uniformly Fréchet.

Curry algebras N 1

Jair Minoro Abe (1996)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

In [6] da Costa has introduced a new hierarchy N i , 1 i w of logics that are both paraconsistent and paracomplete. Such logics are now known as non-alethic logics. In this article we present an algebraic version of the logics N i and study some of their properties.

D -posets

František Kôpka, Ferdinand Chovanec (1994)

Mathematica Slovaca

Deductive systems of BCK-algebras

Sergio A. Celani (2004)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

In this paper we shall give some results on irreducible deductive systems in BCK-algebras and we shall prove that the set of all deductive systems of a BCK-algebra is a Heyting algebra. As a consequence of this result we shall show that the annihilator F * of a deductive system F is the the pseudocomplement of F . These results are more general than that the similar results given by M. Kondo in [7].

Currently displaying 141 – 160 of 708