Wyszukiwanie:
tytuł, autor
wszędzie

Sortowanie:


Bibliografia Publikacji Pracowników PK (50020)
    Książki (7575)
    Artykuły i czasopisma (22919)
    Materiały konferencyjne (22248)
    Rozprawy doktorskie (1275)
    Opublikowane recenzje (87)
    Inne publikacje w portalach i serwisach internetowych (163)
Inne bazy bibliograficzne (15019)
    Architektura i Sztuka Krakowa (2298)
    Historia i Ludzie PK – baza w przygotowaniu (0)
    Konferencje Krynickie - Referaty (7776)
    Niepublikowane prace naukowe pracowników PK (1994-2012) (4941)


Jednostki PK

Opcje

Pałasińska, Katarzyna

Characterization of protoalgebraic k-deductive systems

typ: rozdział/fragment książki

 

Tytuł źródła Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
Redaktor źródła Czelakowski, Janusz
Miejsce wydania Cham
Wydawca Springer
Wydawnictwo według MEiN Springer
Data wydania 2018
Język angielski
Seria/Czasopismo Outstanding Contributions to Logic
Numer w serii 16
ISSN serii 2211-2758
Zakres stron 257-271
Bibliografia (na str.) 270-271
Bibliografia (liczba pozycji) 13
Oznaczenie streszczenia Abstr.
ISBN 978-3-319-74771-2
978-3-319-74772-9 (eBook)
DOI 10.1007/978-3-319-74772-9_10
Charakter pracy publikacja naukowa
Rodzaj fragmentu publikacji rozdział w monografii
Publikacja recenzowana tak
Opis bibliograficzny
Characterization of protoalgebraic k-deductive systems / Katarzyna Pałasińska // W: Don Pigozzi on abstract algebraic logic, universal algebra, and computer science / ed. Janusz Czelakowski. – Cham ... więcej

tematyka
Klasyfikacja PKT [230900] Logika matematyczna. Podstawy matematyki. Teoria mnogości
[230000] Matematyka
Słowa kluczowe deductive systems, protoalgebraic system, congruence, system of equivalence k-formulas, system of congruence formulas
Abstrakt A sentential logic is protoalgebraic iff it has a finite system of equivalence formulas (Blok and Pigozzi, 1986). This can be generalized in the context of universal Horn logic without equality (Blok and Pigozzi, 1992). In this paper we revise this characterization.

punktacja i wskaźniki
Liczba arkuszy 0.6
Dyscyplina matematyka

dodatkowe informacje
Publikacja w Open Access (OA) nie

odnośniki
Link do publikacji w wersji elektronicznej online  
Link do katalogu Biblioteki PK przejdź  
Kolekcja
Rozdział/fragment książki
Książki /






© 2009 - 2023 Biblioteka Politechniki Krakowskiej http://www.biblos.pk.edu.pl/