Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Boston :
Elsevier,
2009-
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 153. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- 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.