- E-Books
- Reformacja 500
- Szkoła Lwowsko-Warszawska
- Wiadomości Numizmatyczne
- Filozofia [zestawy]
- Antykwariat
- Archeologia. Numizmatyka
- Beletrystyka
- Biologia. Genetyka
- Books in English, German, French, Italian and others
- Czasopisma i serie wydawnicze
- Dziennikarstwo. Media
- Edukacja. Dydaktyka
- Edycje tekstów źródłowych
- Ekonomia. Gospodarka. Handel
- Etnografia, etnologia
- Etyka
- Filozofia
- Genealogia Heraldyka Biografie
- Geografia. Ekologia
- Historia Polski
- Historia powszechna
- Informatyka, fizyka
- Italianistyka
- Językoznawstwo
- Korupcja. Klientelizm
- Kresy
- Książki z płytami CD/DVD
- Księgi ku czci
- Logika, semiotyka
- Matematyka. Astronomia. Fizyka
- Medycyna
- Militaria. Wojsko. Uzbrojenie
- Muzyka
- Nauki o literaturze
- Podręczniki akademickie
- Poezja. Poetyka
- Politologia
- Prawo, kryminologia
- Psychoanaliza
- Psychologia
- Regionalistyka
- Religia. Teologia
- Reprinty
- Słowianoznawstwo
- Słowniki, bibliografie
- Socjologia
- Sztuka
- Varsaviana
- Wspomnienia, pamiętniki, listy
- Zarządzanie. Marketing
- Nowości
- Promocje
11,00 zł
Cena regularna:
26,00 zł
Refutation Methods in Modal Propositional Logic
Opis
Tomasz Skura
Refutation Methods in Modal Propositional Logic
ISBN 978-83-7507-175-7, size B5, p. 132
Contents
Preface
1 Introduction and Motivation
1.1 Basic Concepts
1.2 From Models to Refutations
1.3 From Refutations to Models
1.4 Refutation Search
I From Models to Syntactic Refutations
2 Syntactic Tools 24
2.1 Propositional Formulas
2.2 Boolean Laws
2.3 Classical Refutation System
2.4 Modal Formulas
2.5 Modal Replacement
3 Finite Models
3.1 Normal Modal Logics
3.2 Characteristic Formulas
3.3 The Logics with the FMP
3.4 The Finite-Valued Logics
3.5 A Logic without the FMP
II Normal Form Procedures
4 CL Normal Forms
4.1 Interpretations
4.2 Introducing Normal Forms
4.3 Proof System for Normal Forms
4.4 Refutation System for Normal Forms
4.5 Syntactic Completeness
4.6 Reductions to Normal Forms
5 S5 Normal Forms
5.1 Semantics
5.2 Proof System
5.3 Normal Forms
5.4 Refutation System
5.5 Cluster Models
5.6 Syntactic Completeness
5.7 Reductions to Normal Forms
5.8 Semantic Completeness
6 G Normal Forms
6.1 Semantics
6.2 Proof System
6.3 Normal Forms
6.4 Refutation System
6.5 Syntactic Reductions
6.6 Completeness
6.7 Reductions to Normal Forms
6.8 Constructing Counter-Models
7 GRZ Normal Forms
7.1 Semantics
7.2 Proof System
7.3 Normal Forms
7.4 Refutation System
7.5 Syntactic Reductions
7.6 Completeness
7.7 Reductions to Normal Forms
7.8 Constructing Counter-Models
8 S4DBR Normal Forms
8.1 The Logic S4DBR
8.2 Normal Forms
8.3 Refutation System
8.4 Syntactic Reductions
8.5 Completeness
8.6 Reductions to Normal Forms
8.7 Constructing Counter-Models
9 S4 Normal Forms
9.1 The Logic S4
9.2 Reductions to Normal Forms
9.3 The Logic S4.3
10 Refutation Search
10.1 Classical Logic
10.2 Modal Logic
10.2.1 Completeness
10.2.2 The Logic GRZ
10.2.3 The Logic S4
10.2.4 The Logic S4DBR
10.3 Tableaux
Produkty powiązane
Logic, Methodology and Philosophy of Science (1)
Logic, Methodology and Philosophy of Science at Warsaw University
Vol 1. Ed. by Mieszko Tałasiewicz
Logic, Methodology and Philosophy of Science (2)
Logic, Methodology and Philosophy of Science at Warsaw University vol. 2
Edited by Anna Brożek, Jacek Juliusz Jadacki, and Witold Strawiński
Logic, Methodology and Philosophy of Science (3)
Logic, Methodology and Philosophy of Science at Warsaw University
Vol. 3. Edited by Anna Brożek
Logic, Methodology and Philosophy of Science (4)
Logic, Methodology and Philosophy of Science at Warsaw University Vol. 4
Edited by: Joanna Odrowąż-Sypniewska
Logic, Methodology and Philosophy of Science (5)
Logic, Methodology and Philosophy of Science at Warsaw University
vol. 5 (edited by Aleksandra Horecka)
Logic, Methodology and Philosophy of Science (6)
Logic, Methodology and Philosophy of Science at Warsaw University (6)
Theory of Imperatives from Different Points of View
Logic, Methodology and Philosophy of Science (7)
Logic, Methodology and Philosophy of Science at Warsaw University (7)
Theory of Imperatives from Different Points of View (2)
Goedel’s Ontological Argument
Goedel’s Ontological Argument. History, Modifications, and Controversies
Logika, analiza mowy, psychologia (e-book PDF)
Bronisław Bandrowski: Logika, analiza mowy, psychologia. Pisma zebrane (e-book)
Stanisław Leśniewski: Pisma zebrane
Stanisław Leśniewski:
Pisma zebrane / Собранные сочинения / Gesammelte Schriften
Redakcja / Pедакция / Redaktion: Jacek Jadacki tom 1-2
Paprzycka : Responsybilizm w sporze...
Katarzyna Paprzycka-Hausman:
Responsybilizm w sporze o internalizację działań
Polish Philosophy of the 19th and 20th Centuries
Jacek Jadacki: Polish Philosophy of the 19th and 20th Centuries. Heritage Studies
Egzystencjalizm logiczny
Wojciech Krysztofiak:
Egzystencjalizm logiczny. Metafizyczne studium nad Traktatem logiczno‐filozoficznym Wittgensteina
Pochwała okazjonalności
Katarzyna Kijania-Placek: Pochwała okazjonalności. Analiza deskryptywnych użyć wyrażeń okazjonalnych
Poglądy filozoficzne Jana Łukasiewicza a logiki wielowartościowe
Piotr Surma:
Poglądy filozoficzne Jana Łukasiewicza a logiki wielowartościowe
Pytania i odpowiedzi
Anna Brożek:
Pytania i odpowiedzi. Tło filozoficzne, teoria i zastosowania praktyczne
Spór o granice języka
Spór o przedmioty nieistniejące
Maciej Sendłak: Spór o przedmioty nieistniejące. Współczesne interpretacje teorii przedmiotu Alexiusa Meinonga
Zdrowy rozsądek i kraina marzeń
Narodziny kryptologii matematycznej
Analiza pojęcia informacji
Analiza pojęcia informacji
(red. nauk. Jacek Juliusz Jadacki)
Zawirski. Białobrzeski. Bornstein
Krzysztof Śleziński:
Zawirski — Białobrzeski — Bornstein. Trzy koncepcje filozofii i rzeczywistości
Metaphor Activation in Multimodal Discourse
Maciej Rosiński:
Metaphor Activation in Multimodal Discourse. Case studies on the emergence of geometrical concepts
Metodologia i semiotyka
Jacek Juliusz Jadacki:
Metodologia i semiotyka. Idee — metody — problemy
Panorama współczesnej filozofii polskiej
Panorama współczesnej filozofii polskiej.
Księga pamiątkowa VIII Polskiego Zjazdu Filozoficznego
(red. nauk. Jacek Jadacki)
Polish Analytical Philosophy
Jacek Jadacki:
Polish Analytical Philosophy. Studies on its heritage with the appendix containing the bibliography of Polish logic from the second half of the 14th century to the first half of the 20th century
Principia musica
Odkrycie naukowe
Odkrycie naukowe i inne zagadnienia współczesnej filozofii nauki
(red. nauk. Władysław Krajewski i Witold Strawiński)
O rozumności i dobroci
Marian Przełęcki: O rozumności i dobroci. Propozycje i morały
Myśli o języku, nauce i wartościach. Seria druga
Myśli o języku, nauce i wartościach. Seria druga
Antyirracjonalizm
Anna Brożek i inni: Antyirracjonalizm. Metody filozoficzne w Szkole Lwowsko-Warszawskiej
Mosaics. A Construction-Grammar-Based Approach to Translation
Scotland in Europe / Europe in Scotland
Scotland in Europe / Europe in Scotland: Links — Dialogues — Analogies (edited by Aniela Korzeniowska and Izabela Szymańska)
Polen und Österreich im 18. Jahrhundert
Polen und Österreich im 18. Jahrhundert (Herausgegeben von Walter Leitsch und Stanisław Trawkowski unter Mitwirkung von Wojciech Kriegseisen)
Petrarka a jedność kultury europejskiej + linoryt
Petrarka a jedność kultury europejskiej
Petrarka a jedność kultury europejskiej / Petrarca e l'unita della cultura europea
Sequencing and Analysis of Cucumber
Wojciech Pląder:
Sequencing and Analysis of Cucumber (Cucumis sativus L.). Chloroplast Genome
Memory and Responsibility. The Legacy of Jan Karski
Memory and Responsibility. The Legacy of Jan Karski
Scottish Culture: Dialogue and Self-Expression (e-book PDF)
Scottish Culture: Dialogue and Self-Expression (e-book)
Scottish Culture: Dialogue and Self-Expression
Scottish Culture: Dialogue and Self-Expression
Odrodzenie i Reformacja w Polsce t. 61 (2017)
Odrodzenie i Reformacja w Polsce t. 61 (2017)
Polish Scholars on Scottish Writers
Polish Scholars on Scottish Writers: An Interpretative Collage
Anti-irrationalism. Philosophical Methods in the Lvov-Warsaw School
Anna Brożek, Marcin Będkowski, Alicja Chybińska, Stepan Ivanyk, Dominik Traczykowski:
Anti-irrationalism. Philosophical Methods in the Lvov-Warsaw School
Metoda i wartości. Metafilozofia Kazimierza Twardowskiego
Problemy integracji wiedzy a badanie zjawisk politycznych
Michał R. Węsierski:
Problemy integracji wiedzy a badanie zjawisk politycznych. W stronę idei jedności nauki
Within and beyond the Limits of Science
Rodzaje naturalne [ebook PDF]
Joanna Odrowąż-Sypniewska: RODZAJE NATURALNE (rozważania z filozofii języka) [ebook]
Pojęcia wyrażania i idea uzewnętrznienia
Identyczność i trwanie
Znaczenie nazw a znaczenie zdań
Deflacyjna koncepcja prawdy
Cezary Cieśliński: Deflacyjna koncepcja prawdy. Wybrane zagadnienia logiczne
Alfred Tarski: dedukcja i semantyka
Alfred Tarski: dedukcja i semantyka (déduction et sémantique)
Gramatyka dyskursu filozoficznego
Anti-irrationalism. Philosophical Methods in the Lvov-Warsaw School [e-book PDF]
Anna Brożek, Marcin Będkowski, Alicja Chybińska, Stepan Ivanyk, Dominik Traczykowski:
Anti-irrationalism. Philosophical Methods in the Lvov-Warsaw School [e-book PDF]