Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

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.