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...
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 |
Ejemplares similares
-
Propositional and Predicate Calculus: A Model of Argument
por: Goldrei, Derek
Publicado: (2005) -
Logic and Structure
por: van Dalen, Dirk
Publicado: (2013) -
Towards an Arithmetical Logic The Arithmetical Foundations of Logic /
por: Gauthier, Yvon
Publicado: (2015) -
A Course in Mathematical Logic for Mathematicians
por: Manin, Yu. I.
Publicado: (2010) -
Petr Hájek on Mathematical Fuzzy Logic
Publicado: (2015)