Chargement en cours…
Quantification in nonclassical logic /
Quantification and modalities have always been topics of great interest for logicians. These two themes emerged from philosophy and language in ancient times; they were studied by traditional informal methods until the 20th century. In the last century the tools became highly mathematical, and both...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Autres auteurs: | , |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Amsterdam ; Boston :
Elsevier,
2009-
|
| Collection: | Studies in logic and the foundations of mathematics ;
v. 153. |
| Sujets: | |
| Accès en ligne: | Texto completo Texto completo Texto completo |
Table des matières:
- 1.) Basic Propositional Logic
- 2.) Basic Predicate Logic
- 3.) Kripke Semantics
- 4.) Algebraic Semantics
- 5.) Metaframe Semantics
- 6.) Kripke completeness for varying domains
- 7.) Kripke completeness for constant domains.