Cargando…

Completeness Theory for Propositional Logics

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:
Acceso en línea:Texto Completo