Wyniki wyszukiwania - BazTech

Ograniczanie wyników

2 Fundamenta Informaticae

2 2004

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Heyting Wajsberg algebras

Sortuj według:

Ogranicz wyniki do:

Algebraic Structures Related to Many Valued Logical Systems. Part 2, Equivalence Among some Widespread Structures

Cattaneo G., Ciucci D., Giuntini R., Konig M.

Fundamenta Informaticae

2004

Vol. 63, nr 4

357--373

Several algebraic structures (namely HW, BZMVdM, Stonean MV and MVΔ algebras) related to many valued logical systems are considered and their equivalence is proved. Four propositional calculi whose Lindenbaum-Tarski algebra corresponds to the four equivalent algebraic structures are axiomatized and their semantical completeness is given.

Algebraic Structures Related to Many Valued Logical Systems. Part 1, Heyting Wajsberg Algebras

Cattaneo G., Ciucci D., Giuntini R., Konig M.

Fundamenta Informaticae

2004

Vol. 63, nr 4

331--355

A bottom-up investigation of algebraic structures corresponding to many valued logical systems is made. Particular attention is given to the unit interval as a prototypical model of these kind of structures. At the top level of our construction, Heyting Wajsberg algebras are defined and studied. The peculiarity of this algebra is the presence of two implications as primitive operators. This characteristic is helpful in the study of abstract rough approximations.