Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science / Czelakowski, Janusz  

Público ISBD Ningún comentario para este título. 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 Clasificación: 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). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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 Clasificación: 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). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200