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 |