Cargando…
Algebraizable logics /
The main result of the paper is an intrinsic characterization of algebraizability in terms of the Leibniz operator [capital Greek]Omega, which associates with each theory [italic]T of a given deductive system [script]S a congruence relation [capital Greek]Omega[italic]T on the formula algebra. [capi...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Providence, R.I., USA :
American Mathematical Society,
©1989.
|
| Colección: | Memoirs of the American Mathematical Society ;
no. 396. |
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Introduction 1. Deductive systems and matrix semantics 2. Equational consequence and algebraic semantics 3. The lattice of theories 4. Two intrinsic characterizations 5. Matrix semantics and algebraizability Appendix A. Elementary definitional equivalence Appendix B. An example Appendix C. Predicate logic.