Równościowe i zdaniowe logiki P-zgodne - Krystyna Mruczek-Nasieniewska

Równościowe i zdaniowe logiki P-zgodne - Krystyna Mruczek-Nasieniewska

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ównoś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ą. źródło opisu: https://wydawnictwo.umk.pl/pl/products/2925/rownos...(?) źródło okładki: https://wydawnictwo.umk.pl/media/img/cms/front_cov...»

język polski
kategoria informatyka i matematyka
słowa kluczowe matematyka, logika, logiki P-zgodne, logika formalna, logika matematyczna, teoria modeli
data wydania 2013 (data przybliżona)
liczba stron 140
ISBN 9788323130826
Aby oceniać i komentować zarejestruj się!
Rejestracja jest za darmo i jest bardzo szybka! Kliknij tutaj aby założyć konto. Trwa to tylko 15 sekund!.

Podobne wpisy do Równościowe i zdaniowe logiki P-zgodne - Krystyna Mruczek-Nasieniewska

Księga wychodzenia za dnia. Tajemnice egipskiej Księgi umarłych - Mirosław Barwik

Zbiór formuł zapisywanych na staroegipskich papirusach wkładanych wraz ze zmarłymi do grobu zwykło się nazywać Księgą Umarłych. Sami Egipcjanie określali je „Księgą wychodzenia za dnia”, co wyrażało nadzieję, że zaklęcia zapisane na papirusie umożliw...

Excel 2003 PL. Biblia - John Walkenbach

Microsoft Excel 2003 jest chyba najpopularniejszą aplikacją biurową używaną do przetwarzania danych liczbowych. Jego możliwości są niezwykle duże -- od wykonywania prostych obliczeń i zestawień, poprzez analizy statystyczne i rozwiązywanie złożonych...

O Francji - Emil Cioran

Emil Cioran (1911–1995), zaliczany dziś do najbardziej oryginalnych myślicieli XX wieku, większość życia spędził we Francji, którą wybrał na swoją nową ojczyznę – po Rumunii, kraju jego młodości. Osiadł we Francji jeszcze przed II wojną światową i ni...

Excel 2010 PL. Z Excelem sie kalkuluje! - Witold Wrotek

Umiesz liczyć — licz z Excelem! Czym jest arkusz kalkulacyjny Excela? To doskonałe narzędzie ze stajni Microsoft Office jest odpowiedzią na tony zeszytów wraz z tabelami, pomyłki popełniane przy liczeniu, kalkulatory z ograniczoną liczbą funkcji czy...

Metodologiczne i dydaktyczne aspekty bezpieczeństwa narodowego - Waldemar Kitler, Tomasz Kośmider

Akademia Obrony Narodowej we współpracy z innymi ośrodkami akademickimi podjęła badania, których celem stało się zdiagnozowanie stanu teorii i praktyki bezpieczeństwa narodowego oraz określenie jego głównych kierunków rozwoju. Rezultaty podjętych bad...

Excel. Wykresy, analiza danych, tabele przestawne. Niebieski podręcznik - Paul McFedries

Excel to narzędzie należące do pakietu MS Office, charakteryzujące się nieskończoną cierpliwością w wykonywaniu najbardziej mozolnych i skomplikowanych obliczeń. Rozwijany od wielu lat, zdobył ogromną popularność i obecnie jest najbardziej znanym ark...

Logowanie
Rejestracja