- Tytuł:
- Polyadic algebras over nonclassical logics
- Autorzy:
-
Pigozzi, Don
Salibra, Antonino - Powiązania:
- https://bibliotekanauki.pl/articles/1361079.pdf
- Data publikacji:
- 1993
- Wydawca:
- Polska Akademia Nauk. Instytut Matematyczny PAN
- Tematy:
-
lambda calculus
modal logic
intuitionistic logic
many-valued logic
BCK logic - Opis:
- 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.
- Źródło:
-
Banach Center Publications; 1993, 28, 1; 51-66
0137-6934 - Pojawia się w:
- Banach Center Publications
- Dostawca treści:
- Biblioteka Nauki
Artykuł