Wyniki wyszukiwania - BazTech

Ograniczanie wyników

3 Fundamenta Informaticae

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: discrete duality

Sortuj według:

Ogranicz wyniki do:

Discrete Duality for Tense Łukasiewicz–Moisil Algebras

Figallo A. V., Pelaitay G.

Fundamenta Informaticae

2015

Vol. 136, nr 4

317--329

In 2007, tense Łukasiewicz–Moisil algebras were introduced by Diaconescu and Georgescu as an algebraic counterpart of tense n–valued Moisil logic. These algebras constitute a generalization of tense algebras. In this paper we describe a discrete duality for tense Łukasiewicz– Moisil algebras bearing in mind the results indicated by Dzik, Orłowska and van Alten in 2006, for De Morgan algebras.

Structures with Multirelations, their Discrete Dualities and Applications

Düntsch I., Orłowska E., Rewitzky I.

Fundamenta Informaticae

2010

Vol. 100, nr 1/4

77-98

In this paper we show that the problem of discrete duality can be extended beyond the clasical setting of duality between a class of algebras and a class of relational structures. Namely, for some classes of algebras, the relevant dual structures are the structures with multirelations. Several applications of multirelations will be described.

Discrete Dualities for Heyting Algebras with Operators

Orłowska E., Rewitzky I.

Fundamenta Informaticae

2007

Vol. 81, nr 1-3

275-295

Discrete dualities are presented for Heyting algebras with various modal operators, for Heyting algebras with an external negation, for symmetric Heyting algebras, and for Heyting-Brouwer algebras.