| Título : |
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science |
| Tipo de documento: |
documento electrónico |
| Autores: |
Czelakowski, Janusz, |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2018 |
| Número de páginas: |
XXXIII, 454 p. |
| ISBN/ISSN/DL: |
978-3-319-74772-9 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Lógica Lógica matemática Teoría de las máquinas Lógica Matemática y Fundamentos Lenguajes formales y teoría de los autómatas |
| Índice Dewey: |
160 Lógica |
| Resumen: |
Este libro celebra la obra de Don Pigozzi con motivo de su 80 cumpleaños. Además de artículos escritos por destacados especialistas y sus discípulos, presenta la producción científica de Pigozzi y analiza su impacto en el desarrollo de la ciencia. El libro cataloga sus obras y ofrece un amplio perfil de Pigozzi como persona, esbozando los acontecimientos más importantes, no sólo relacionados con su actividad científica, sino también de su vida personal. Refleja la contribución de Pigozzi al surgimiento y desarrollo de áreas como la lógica algebraica abstracta (AAL), el álgebra universal y la informática, e introduce nuevos resultados científicos. Algunos de los artículos también presentan hechos ordenados cronológicamente relacionados con el desarrollo de las disciplinas a las que contribuyó, especialmente la lógica algebraica abstracta. El libro ofrece material fuente valioso para los historiadores de la ciencia, especialmente aquellos interesados en la historia de las matemáticas y la lógica. |
| Nota de contenido: |
Chapter 1. A Mathematical Life (Don Pigozzi) -- Chapter 2. Assertional Logics, Truth-equational Logics, and the Hierarchies of Abstract Algebraic Logic (Hugo Albuquerque) -- Chapter 3. Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Sergey Babenyshev) -- Chapter 4. Introducing Boolean Semilattices (Clifford Bergman) -- Chapter 5. The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras (Janusz Czelakowski). |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science [documento electrónico] / Czelakowski, Janusz, . - 1 ed. . - [s.l.] : Springer, 2018 . - XXXIII, 454 p. ISBN : 978-3-319-74772-9 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Lógica Lógica matemática Teoría de las máquinas Lógica Matemática y Fundamentos Lenguajes formales y teoría de los autómatas |
| Índice Dewey: |
160 Lógica |
| Resumen: |
Este libro celebra la obra de Don Pigozzi con motivo de su 80 cumpleaños. Además de artículos escritos por destacados especialistas y sus discípulos, presenta la producción científica de Pigozzi y analiza su impacto en el desarrollo de la ciencia. El libro cataloga sus obras y ofrece un amplio perfil de Pigozzi como persona, esbozando los acontecimientos más importantes, no sólo relacionados con su actividad científica, sino también de su vida personal. Refleja la contribución de Pigozzi al surgimiento y desarrollo de áreas como la lógica algebraica abstracta (AAL), el álgebra universal y la informática, e introduce nuevos resultados científicos. Algunos de los artículos también presentan hechos ordenados cronológicamente relacionados con el desarrollo de las disciplinas a las que contribuyó, especialmente la lógica algebraica abstracta. El libro ofrece material fuente valioso para los historiadores de la ciencia, especialmente aquellos interesados en la historia de las matemáticas y la lógica. |
| Nota de contenido: |
Chapter 1. A Mathematical Life (Don Pigozzi) -- Chapter 2. Assertional Logics, Truth-equational Logics, and the Hierarchies of Abstract Algebraic Logic (Hugo Albuquerque) -- Chapter 3. Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Sergey Babenyshev) -- Chapter 4. Introducing Boolean Semilattices (Clifford Bergman) -- Chapter 5. The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras (Janusz Czelakowski). |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Hacer una sugerencia Refinar búsquedaDon Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science / Czelakowski, Janusz
