Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Polyadic algebras over nonclassical logics

100%

Pigozzi D., Salibra A.

Banach Center Publications

1993

tom 28

nr 1

51-66

The polyadic algebras that arise from the algebraization of the first-order extensions of a SIC are characterized and a representation theorem is proved. Standard implicational calculi (SIC)'s were considered by H. Rasiowa [19] and include classical and intuitionistic logic and their various weakenings and fragments, the many-valued logics of Post and Łukasiewicz, modal logics that admit the rule of necessitation, BCK logic, etc.

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

On the structure of equationally complete varieties. I

60%

Pigozzi D.

Colloquium Mathematicum

1981

tom 45

nr 2

191-201

The join of equational theories

50%

Pigozzi D.

Colloquium Mathematicum

1974

tom 30

nr 1

15-25

Ograniczanie wyników

2 Colloquium Mathematicum

1 Banach Center Publications

3 Pigozzi D.

1 Salibra A.

1 1993

1 1981

1 1974

Wyniki wyszukiwania

Polyadic algebras over nonclassical logics

On the structure of equationally complete varieties. I

The join of equational theories