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 |
| Sumario: | 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. [capital Greek]Omega[italic]T identifies all formulas that cannot be distinguished from one another, on the basis of [italic]T, by any property expressible in the language of [script]S. The characterization theorem states that a deductive system [script]S is algebraizable if and only if [capital Greek]Omega is one-to-one and order-preserving on the lattice of [script]S-theories, and in addition preserves directed unions. Several other characteristics are given. The results and concepts are illustrated by a large number of examples from modal and intuitionistic logic, relevance logic, and classical predicate logic. |
|---|---|
| Notas: | "Volume 77, number 396 (third of 4 numbers)." |
| Descripción Física: | 1 online resource (v, 78 pages) : illustrations |
| Bibliografía: | Includes bibliographical references (pages 73-76) and index. |
| ISBN: | 9781470408169 1470408163 |
| ISSN: | 1947-6221 ; 0065-9266 |