Completeness Theory for Propositional Logics

Mostrar otras versiones (1)

Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion have been de?ned in literature. We shallconcentrateonthesevariants,andaspects,of completenesswhicharede?ned in propositional logic. Completeness means the possibility of getting...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Pogorzelski, Witold A. (Autor), Wojtylak, Piotr (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Basel : Birkhäuser Basel : Imprint: Birkhäuser, 2008.
Edición:1st ed. 2008.
Colección:Studies in Universal Logic,
Temas:
Mathematical logic.
Mathematical Logic and Foundations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares