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...
Call Number: | Libro Electrónico |
---|---|
Main Authors: | , |
Corporate Author: | |
Format: | Electronic eBook |
Language: | Inglés |
Published: |
Basel :
Birkhäuser Basel : Imprint: Birkhäuser,
2008.
|
Edition: | 1st ed. 2008. |
Series: | Studies in Universal Logic,
|
Subjects: | |
Online Access: | Texto Completo |