Polyadic algebras over nonclassical logics

Szczegóły
Opis

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
Źródło:: Banach Center Publications; 1993, 28, 1; 51-66
0137-6934
Język:: angielski
Prawa:: Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

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.

Informacja

Powiązane pozycje