Polyadic algebras over nonclassical logics

Tom 28 / 1993

Don Pigozzi, Antonino Salibra Banach Center Publications 28 (1993), 51-66 DOI: 10.4064/-28-1-51-66

Streszczenie

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.

Autorzy

  • Don Pigozzi
  • Antonino Salibra

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek