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 |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn851087203 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr un||||||||| | ||
| 008 | 130627s1989 riua ob 001 0 eng d | ||
| 040 | |a GZM |b eng |e pn |c GZM |d OCLCO |d COO |d UIU |d OCLCF |d N$T |d E7B |d LLB |d YDXCP |d EBLCP |d OCLCQ |d UKAHL |d OCLCQ |d LEAUB |d OCLCQ |d INARC |d OCLCQ |d VT2 |d K6U |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO |d OCLCL | ||
| 019 | |a 1086519744 |a 1200287480 |a 1262669299 | ||
| 020 | |a 9781470408169 |q (electronic bk.) | ||
| 020 | |a 1470408163 |q (electronic bk.) | ||
| 020 | |z 0821824597 |q (alk. paper) | ||
| 020 | |z 9780821824597 |q (alk. paper) | ||
| 029 | 1 | |a AU@ |b 000056872436 | |
| 035 | |a (OCoLC)851087203 |z (OCoLC)1086519744 |z (OCoLC)1200287480 |z (OCoLC)1262669299 | ||
| 050 | 4 | |a QA3 |b .A57 no. 396 |a QA10 | |
| 072 | 7 | |a MAT |x 039000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 023000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 026000 |2 bisacsh | |
| 082 | 0 | 4 | |a 510 s |a 511.3/24 |2 19 |
| 084 | |a 31.10 |2 bcl | ||
| 084 | |a SI 810 |2 rvk | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Blok, W. J., |d 1947- |1 https://id.oclc.org/worldcat/entity/E39PBJh4vmyVkqQXbCrXW8RMyd | |
| 245 | 1 | 0 | |a Algebraizable logics / |c W.J. Blok and Don Pigozzi. |
| 260 | |a Providence, R.I., USA : |b American Mathematical Society, |c ©1989. | ||
| 300 | |a 1 online resource (v, 78 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Memoirs of the American Mathematical Society, |x 1947-6221 ; |v v. 396 | |
| 500 | |a "Volume 77, number 396 (third of 4 numbers)." | ||
| 504 | |a Includes bibliographical references (pages 73-76) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | 0 | |t Introduction |t 1. Deductive systems and matrix semantics |t 2. Equational consequence and algebraic semantics |t 3. The lattice of theories |t 4. Two intrinsic characterizations |t 5. Matrix semantics and algebraizability |t Appendix A. Elementary definitional equivalence |t Appendix B. An example |t Appendix C. Predicate logic. |
| 520 | |a 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. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Algebraic logic. | |
| 650 | 6 | |a Logique algébrique. | |
| 650 | 7 | |a 31.10 logic, set theory. |0 (NL-LeOCL)077601874 |2 bcl | |
| 650 | 7 | |a MATHEMATICS |x Essays. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Pre-Calculus. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Reference. |2 bisacsh | |
| 650 | 7 | |a Algebraic logic |2 fast | |
| 650 | 7 | |a Algebraisierbare Logik |2 gnd | |
| 650 | 7 | |a Mathematische Logik |2 gnd | |
| 650 | 1 | 7 | |a Algebraïsche logica. |2 gtt |
| 650 | 7 | |a Logica Matematica. |2 larpcal | |
| 653 | 0 | |a Algebraic logic | |
| 700 | 1 | |a Pigozzi, Don, |d 1935- |1 https://id.oclc.org/worldcat/entity/E39PBJxCFkXqxRv8KkKh9WxqwC | |
| 758 | |i has work: |a Algebraizable logics (Text) |1 https://id.oclc.org/worldcat/entity/E39PCH7Pr8QGh7fqKt6mFtq8yb |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Blok, W.J., 1947- |t Algebraizable logics / |x 0065-9266 |z 9780821824597 |
| 830 | 0 | |a Memoirs of the American Mathematical Society ; |v no. 396. |x 0065-9266 | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=3113851 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n BDZ0037704529 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL3113851 | ||
| 938 | |a ebrary |b EBRY |n ebr10918804 | ||
| 938 | |a EBSCOhost |b EBSC |n 838459 | ||
| 938 | |a Internet Archive |b INAR |n algebraizablelog0000blok | ||
| 938 | |a YBP Library Services |b YANK |n 12055391 | ||
| 994 | |a 92 |b IZTAP | ||