• Produktbild: Completeness Theory for Propositional Logics
  • Produktbild: Completeness Theory for Propositional Logics

Completeness Theory for Propositional Logics

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.04.2008

Abbildungen

VIII, 178 p.

Verlag

Springer Basel

Seitenzahl

178

Maße (L/B/H)

24,4/17/1,1 cm

Gewicht

342 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-7643-8517-0

Beschreibung

Rezension

From the reviews:

“The book provides a uniform treatment of the variety of results centered around the completeness property. … book is a good introduction to the problems of completeness. A wealth of examples, comments and theorems well elucidate various difficult aspects of the theory. … From the methodological viewpoint, the book applies the tools that were elaborated in metalogic … . AAL also offers subtle tools for tackling some of the problems raised in the book.” (Janusz M. Czelakowski, Mathematical Reviews, Issue 2010 c)

“The book is written with exceptional clarity and precision. This combination makes it accessible to a wide spectrum of potential readers, and hence it can be recommended to anyone interested in formal logic. … the book may stimulate to further research by opening new fields of investigation and introducing new concepts and ideas. Finally, one cannot miss the extensive and up-to-date bibliography which is included in the book. Summing up, the book … offers a deep and intelligible exposition of completeness theory in propositional logics.” (Tomasz Połacik, Studia Logica, Vol. 95, 2010)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.04.2008

Abbildungen

VIII, 178 p.

Verlag

Springer Basel

Seitenzahl

178

Maße (L/B/H)

24,4/17/1,1 cm

Gewicht

342 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-7643-8517-0

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Completeness Theory for Propositional Logics
  • Produktbild: Completeness Theory for Propositional Logics
  • Introduction.- 1. Basic notions: Propositional languages.- Abstract algebras.- Preliminary lattice-theoretical notions.- Propositional logics.- Brief exposition of the most important propositional logics.- 2. Semantic methods in propositional logic: Preordered sets.- Preordered algebras.- Logical matrices.- Adequacy.- Propositional logic and lattice theory.- 3. Completeness of propositional logic: Generalized completeness.- Post-completeness.- The problem of uniqueness of Lindenbaum extensions.- Some related concepts.- 4. Characterization of propositional connectives: Cn-definitions.- The system (D).- Variants.- The system (I).- Classical logic.- Appendix: The fundamental metatheorem for the classical propositional logic.- A proof system for the classical logic.