Loading…
Completeness theory for propositional logics /
The book develops the theory of one of the most important notions in the methodology of formal systems. Particularly, completeness plays an important role in propositional logic where many variants of the notion have been defined. Global variants of the notion mean the possibility of getting all cor...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Basel ; Boston :
Birkhäuser,
©2008.
|
| Series: | Studies in universal logic.
|
| Subjects: | |
| Online Access: | Texto completo |
Table of Contents:
- Basic notions; Semantic methods in propositional logic; Completeness of propositional logics; Characterizations of propositional connectives.