Loading…
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...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Providence, R.I., USA :
American Mathematical Society,
©1989.
|
| Series: | Memoirs of the American Mathematical Society ;
no. 396. |
| Subjects: | |
| Online Access: | Texto completo |
Table of Contents:
- 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.