Równościowe i zdaniowe logiki P-zgodne
Analizując wyrażenia języka naturalnego lub formuły języka sztucznego zwykle posługujemy się stricte wypowiedzianymi regułami syntaktycznymi budowy wyrażeń tego języka bądź pewnymi quasi-regułami dotyczącymi pewnych umów. Najczęściej analizujemy najbardziej zewnętrzne funktory występujące w analizowanych wyrażeniach. Postępując analogicznie rozpatrujemy coraz bardziej wewnętrzne operatory. W szczególności czynności te przeprowadzamy gdy analizujemy formuły równoważnościowe, które wyrażają związki między funktorami.Celem pracy jest omówienie pewnych klas logik równościowych wyrażonych zarówno w języku teorii modeli jak i ujętych aksjomatycznie. W niniejszej pracy wskażemy pewne ogólne związki zachodzące między wybranym klasami logik a odpowiadającymi im podlogikami generowanymi przez tzw. równości, czy szerzej formuły P-zgodne. Wybierając ze zbioru formuł tylko te formuły, które mają pewną określoną strukturę (i domykając ten zbiór ze względu na określony operator konsekwencji) otrzymujemy podsystem logiki wyjściowej. Klasa modeli otrzymanej logiki jest większa w sensie inkluzji od klasy modeli odpowiadającej wyjściowej logice. Takie podejście daje pewien szerszy wgląd w istotę logik. Prowadząc takie badania możemy ‘patrzeć’ na dany system z pewnej ‘odległości’. Mając taką perspektywę możemy rozważać istotne aspekty każdego systemu i pytać o skończoną bazowalność, algebry wolno-generowane, modele podprosto-nierozkładalne (i inne) oraz badać, na ile są one powiązane (odpowiednio) z bazą rówościową, algebrami wolno-generowanymi, modelami podprosto-nierozkładalnymi wyjściowego systemu. W niniejszej pracy będziemy ‘patrzeć’ z szerszej perspektywy na klasę modeli związaną z logiką klasyczną, logiką wielkowartościową i kwantową. Ze Słowa wstępnego
- Kategorie:
- Język wydania: polski
- ISBN: 978-83-231-3082-6
- Liczba stron: 140
-
Sposób dostarczenia produktu elektronicznegoProdukty elektroniczne takie jak Ebooki czy Audiobooki są udostępniane online po opłaceniu zamówienia kartą lub przelewem na stronie Twoje konto > Biblioteka.Pliki można pobrać zazwyczaj w ciągu kilku-kilkunastu minut po uzyskaniu poprawnej autoryzacji płatności, choć w przypadku niektórych publikacji elektronicznych czas oczekiwania może być nieco dłuższy.Sprzedaż terytorialna towarów elektronicznych jest regulowana wyłącznie ograniczeniami terytorialnymi licencji konkretnych produktów.
-
Ważne informacje techniczneMinimalne wymagania sprzętowe:procesor: architektura x86 1GHz lub odpowiedniki w pozostałych architekturachPamięć operacyjna: 512MBMonitor i karta graficzna: zgodny ze standardem XGA, minimalna rozdzielczość 1024x768 16bitDysk twardy: dowolny obsługujący system operacyjny z minimalnie 100MB wolnego miejscaMysz lub inny manipulator + klawiaturaKarta sieciowa/modem: umożliwiająca dostęp do sieci Internet z prędkością 512kb/sMinimalne wymagania oprogramowania:System Operacyjny: System MS Windows 95 i wyżej, Linux z X.ORG, MacOS 9 lub wyżej, najnowsze systemy mobilne: Android, iPhone, SymbianOS, Windows MobilePrzeglądarka internetowa: Internet Explorer 7 lub wyżej, Opera 9 i wyżej, FireFox 2 i wyżej, Chrome 1.0 i wyżej, Safari 5Przeglądarka z obsługą ciasteczek i włączoną obsługą JavaScriptZalecany plugin Flash Player w wersji 10.0 lub wyżej.Informacja o formatach plików:
- PDF - format polecany do czytania na laptopach oraz komputerach stacjonarnych.
- EPUB - format pliku, który umożliwia czytanie książek elektronicznych na urządzeniach z mniejszymi ekranami (np. e-czytnik lub smartfon), dając możliwość dopasowania tekstu do wielkości urządzenia i preferencji użytkownika.
- MOBI - format zapisu firmy Mobipocket, który można pobrać na dowolne urządzenie elektroniczne (np.e-czytnik Kindle) z zainstalowanym programem (np. MobiPocket Reader) pozwalającym czytać pliki MOBI.
- Audiobooki w formacie MP3 - format pliku, przeznaczony do odsłuchu nagrań audio.
Rodzaje zabezpieczeń plików:- Watermark - (znak wodny) to zaszyfrowana informacja o użytkowniku, który zakupił produkt. Dzięki temu łatwo jest zidentyfikować użytkownika, który rozpowszechnił produkt w sposób niezgodny z prawem. Ten rodzaj zabezpieczenia jest zdecydowanie bardziej przyjazny dla użytkownika, ponieważ aby otworzyć książkę zabezpieczoną Watermarkiem nie jest potrzebne konto Adobe ID oraz autoryzacja urządzenia.
- Brak zabezpieczenia - część oferowanych w naszym sklepie plików nie posiada zabezpieczeń. Zazwyczaj tego typu pliki można pobierać ograniczoną ilość razy, określaną przez dostawcę publikacji elektronicznych. W przypadku zbyt dużej ilości pobrań plików na stronie WWW pojawia się stosowny komunikat.
Słowo wstępne / 7 Rozdział 1. Podstawowe pojęcia / 9 1.1. Struktury krat teorii równościowych / 11 Rozdział 2. Logiki równościowe - podstawowe fakty / 14 Rozdział 3. Kluczowe fakty z dziedziny logik P-zgodnych / 18 3.1. Pojęcia podstawowe / 18 3.2. Pewne własności P-zgodnych teorii rownościowych / 20 3.2.1. Teorie rownościowe F-normalnych rozmaitości / 23 3.2.2. Krata L(KEx) rozmaitości idempotentnej K / 25 3.3. ‘Małe’ modele dla teorii P-zgodnych / 28 3.3.1. Konstrukcja Płonki / 28 3.3.2. Generiki Biegańskiej i Hałkowskiej / 30 3.4. Twierdzenie o reprezentacji dla teorii P-zgodnych / 32 3.5. Bazy rownościowe dla rownościowych logik P-zgodnych / 35 3.6. Od rozmaitości normalnych do zewnętrznie zgodnych / 37 Rozdział 4. P-zgodne algebry Boole’a / 39 Rozdział 5. Równości P-zgodne modularnych ortokrat / 44 5.1. Ortokraty - podstawowe fakty / 44 5.2. Syntaksa i semantyka /47 5.3. Kraty rozmaitości / 51 Rozdział 6. Zewnętrznie zgodne identyczności MV-algebr / 56 6.1. Wprowadzenie / 56 6.2. Syntaksa i semantyka / 59 6.3. Podprosto-nierozkładalne algebry z rozmaitości MVn-algebr / 60 6.3.1. MVn —rozmaitość MVn-algebr / 61 6.4. Krata rozmaitości / 64 Rozdział 7. Zdaniowe systemy zewnętrznie zgodne logiki klasycznej / 68 7.1. Relacja powiązania Epsteina / 68 7.2. System dla równości zewnętrznie zgodnych algebr Boole’a / 69 7.2.1. Semantyka matrycowa / 70 7.3. System zewnętrznie zgodny logiki klasycznej / 72 7.4. Wynikanie logiczne / 90 Rozdział 8. Zdaniowe systemy P-zgodne logiki klasycznej / 93 8.1. Systemy P-zgodne /93 8.1.1. Inne P-zgodne podsystemy logiki klasycznej / 94 8.1.2. Ogólna postać pewnych systemów P-zgodnych logiki klasycznej / 97 8.1.3. Krata pewnych P-zgodnych podsystemów CL / 110 Dodatek / 116 A Algebra uniwersalna - podstawowe fakty / 116 0.1.1. Algebry Boole’a / 121 B Języki pierwszego rzędu / 124 Wykaz symboli / 126 Wykaz pojęć i nazwisk / 129 Literatura / 132