Información de la indexación
16.89/14/01 Documentos en la biblioteca con la clasificación 160 (174)
Crear una solicitud de compra Refinar búsqueda27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings / Silva, Alexandra ; Wassermann, Renata ; de Queiroz, Ruy
Título : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings Tipo de documento: documento electrónico Autores: Silva, Alexandra, ; Wassermann, Renata, ; de Queiroz, Ruy, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: VIII, 427 p. 53 ilustraciones, 5 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-88853-4 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Lógica Clasificación: 160 Lógica Resumen: Editado en colaboración con FoLLI, la Asociación de Lógica, Lenguaje e Información, este libro constituye las actas arbitradas del 27º Taller sobre Lógica, Lenguaje, Información y Comunicación, WoLLIC 2021, evento virtual, en octubre de 2021. Los 25 artículos completos presentados incluyeron 6 Las conferencias invitadas fueron revisadas en su totalidad y seleccionadas entre 50 presentaciones. La idea es tener un foro lo suficientemente grande en el número de interacciones posibles entre la lógica y las ciencias relacionadas con la información y la computación. Nota de contenido: Logic -- Language -- Computation -- Proofs -- Formal Languages -- Category Theory -- Deduction systems. Tipo de medio : Computadora Summary : Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings [documento electrónico] / Silva, Alexandra, ; Wassermann, Renata, ; de Queiroz, Ruy, . - 1 ed. . - [s.l.] : Springer, 2021 . - VIII, 427 p. 53 ilustraciones, 5 ilustraciones en color.
ISBN : 978-3-030-88853-4
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Lógica Clasificación: 160 Lógica Resumen: Editado en colaboración con FoLLI, la Asociación de Lógica, Lenguaje e Información, este libro constituye las actas arbitradas del 27º Taller sobre Lógica, Lenguaje, Información y Comunicación, WoLLIC 2021, evento virtual, en octubre de 2021. Los 25 artículos completos presentados incluyeron 6 Las conferencias invitadas fueron revisadas en su totalidad y seleccionadas entre 50 presentaciones. La idea es tener un foro lo suficientemente grande en el número de interacciones posibles entre la lógica y las ciencias relacionadas con la información y la computación. Nota de contenido: Logic -- Language -- Computation -- Proofs -- Formal Languages -- Category Theory -- Deduction systems. Tipo de medio : Computadora Summary : Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 submissions. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : A Model–Theoretic Approach to Proof Theory Tipo de documento: documento electrónico Autores: Kotlarski, Henryk, ; Adamowicz, Zofia, ; Bigorajska, Teresa, ; Zdanowski, Konrad, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XVIII, 109 p. 53 ilustraciones, 1 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-28921-8 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Lógica Lógica matemática Lógica Matemática y Fundamentos Clasificación: 160 Lógica Resumen: Este libro presenta un tratamiento detallado de la combinatoria ordinal de conjuntos grandes adaptados a resultados de independencia. Utiliza métodos combinatorios y teóricos de modelos para obtener resultados en la teoría de la prueba, como teoremas de incompletitud o una descripción de las funciones demostrablemente totales de una teoría. En el primer capítulo, los autores analizan por primera vez la combinatoria ordinal de conjuntos finitos al estilo de Ketonen y Solovay. Esto proporciona una base para un análisis de subsistemas de la aritmética de Peano, así como para resultados de independencia combinatoria. A continuación, el volumen examina una variedad de demostraciones de los teoremas de incompletitud de Gödel. Las pruebas presentadas difieren fuertemente en su naturaleza. Muestran varios aspectos de los fenómenos de incompletitud. Además, la cobertura introduce algunos métodos clásicos como el teorema de completitud aritmetizada, predicados de satisfacción o clases de satisfacción parcial. También los aplica en muchos contextos. El cuarto capítulo define el método de indicadores para la obtención de resultados de independencia. Muestra qué cantidad de inducción transfinita tenemos en fragmentos de aritmética de Peano. Luego, utiliza la combinatoria de conjuntos grandes del primer capítulo para mostrar resultados de independencia. El último capítulo considera clases de satisfacción no estándar. Presenta algunos de los teoremas clásicos relacionados con ellos. En particular, cubre los resultados de S. Smith sobre la definibilidad en el lenguaje con clase de satisfacción y en modelos sin clase de satisfacción. En general, el contenido del libro se encuentra en la frontera entre la combinatoria, la teoría de la prueba y la teoría de modelos de la aritmética. Ofrece a los lectores un enfoque distintivo hacia los resultados de independencia mediante métodos de teoría de modelos. Nota de contenido: Chapter 1. Some combinatorics -- Chapter 2. Some model theory -- Chapter 3. Incompleteness -- Chapter 4. Transfinite induction -- Chapter 5. Satisfaction classes. Tipo de medio : Computadora Summary : This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total functions of a theory. In the first chapter, the authors first discusses ordinal combinatorics of finite sets in the style of Ketonen and Solovay. This provides a background for an analysis of subsystems of Peano Arithmetic as well as for combinatorial independence results. Next, the volume examines a variety of proofs of Gödel's incompleteness theorems. The presented proofs differ strongly in nature. They show various aspects of incompleteness phenomena. In additon, coverage introduces some classical methods like the arithmetized completeness theorem, satisfaction predicates or partial satisfaction classes. It also applies them in many contexts. The fourth chapter defines the method of indicators for obtaining independence results. It shows what amount of transfinite induction we have in fragments of Peano arithmetic. Then, it uses combinatorics of large sets of the first chapter to show independence results. The last chapter considers nonstandard satisfaction classes. It presents some of the classical theorems related to them. In particular, it covers the results by S. Smith on definability in the language with a satisfaction class and on models without a satisfaction class. Overall, the book's content lies on the border between combinatorics, proof theory, and model theory of arithmetic. It offers readers a distinctive approach towards independence results by model-theoretic methods. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] A Model–Theoretic Approach to Proof Theory [documento electrónico] / Kotlarski, Henryk, ; Adamowicz, Zofia, ; Bigorajska, Teresa, ; Zdanowski, Konrad, . - 1 ed. . - [s.l.] : Springer, 2019 . - XVIII, 109 p. 53 ilustraciones, 1 ilustraciones en color.
ISBN : 978-3-030-28921-8
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Lógica Lógica matemática Lógica Matemática y Fundamentos Clasificación: 160 Lógica Resumen: Este libro presenta un tratamiento detallado de la combinatoria ordinal de conjuntos grandes adaptados a resultados de independencia. Utiliza métodos combinatorios y teóricos de modelos para obtener resultados en la teoría de la prueba, como teoremas de incompletitud o una descripción de las funciones demostrablemente totales de una teoría. En el primer capítulo, los autores analizan por primera vez la combinatoria ordinal de conjuntos finitos al estilo de Ketonen y Solovay. Esto proporciona una base para un análisis de subsistemas de la aritmética de Peano, así como para resultados de independencia combinatoria. A continuación, el volumen examina una variedad de demostraciones de los teoremas de incompletitud de Gödel. Las pruebas presentadas difieren fuertemente en su naturaleza. Muestran varios aspectos de los fenómenos de incompletitud. Además, la cobertura introduce algunos métodos clásicos como el teorema de completitud aritmetizada, predicados de satisfacción o clases de satisfacción parcial. También los aplica en muchos contextos. El cuarto capítulo define el método de indicadores para la obtención de resultados de independencia. Muestra qué cantidad de inducción transfinita tenemos en fragmentos de aritmética de Peano. Luego, utiliza la combinatoria de conjuntos grandes del primer capítulo para mostrar resultados de independencia. El último capítulo considera clases de satisfacción no estándar. Presenta algunos de los teoremas clásicos relacionados con ellos. En particular, cubre los resultados de S. Smith sobre la definibilidad en el lenguaje con clase de satisfacción y en modelos sin clase de satisfacción. En general, el contenido del libro se encuentra en la frontera entre la combinatoria, la teoría de la prueba y la teoría de modelos de la aritmética. Ofrece a los lectores un enfoque distintivo hacia los resultados de independencia mediante métodos de teoría de modelos. Nota de contenido: Chapter 1. Some combinatorics -- Chapter 2. Some model theory -- Chapter 3. Incompleteness -- Chapter 4. Transfinite induction -- Chapter 5. Satisfaction classes. Tipo de medio : Computadora Summary : This book presents a detailed treatment of ordinal combinatorics of large sets tailored for independence results. It uses model theoretic and combinatorial methods to obtain results in proof theory, such as incompleteness theorems or a description of the provably total functions of a theory. In the first chapter, the authors first discusses ordinal combinatorics of finite sets in the style of Ketonen and Solovay. This provides a background for an analysis of subsystems of Peano Arithmetic as well as for combinatorial independence results. Next, the volume examines a variety of proofs of Gödel's incompleteness theorems. The presented proofs differ strongly in nature. They show various aspects of incompleteness phenomena. In additon, coverage introduces some classical methods like the arithmetized completeness theorem, satisfaction predicates or partial satisfaction classes. It also applies them in many contexts. The fourth chapter defines the method of indicators for obtaining independence results. It shows what amount of transfinite induction we have in fragments of Peano arithmetic. Then, it uses combinatorics of large sets of the first chapter to show independence results. The last chapter considers nonstandard satisfaction classes. It presents some of the classical theorems related to them. In particular, it covers the results by S. Smith on definability in the language with a satisfaction class and on models without a satisfaction class. Overall, the book's content lies on the border between combinatorics, proof theory, and model theory of arithmetic. It offers readers a distinctive approach towards independence results by model-theoretic methods. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : Al-Shīrāzī's Insights into the Dialectical Constitution of Meaning and Knowledge Tipo de documento: documento electrónico Autores: Rahman, Shahid, ; Iqbal, Muhammad, ; Soufi, Youcef, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2019 Número de páginas: XXI, 268 p. 156 ilustraciones ISBN/ISSN/DL: 978-3-030-22382-3 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Conocimiento Filosofía del Derecho Historia de la Filosofía Métodos de investigación en lengua y lingüística. Epistemología Historia del derecho Lingüística Lógica Historia Filosofía Derecho Metodología Clasificación: 160 Lógica Resumen: Esta monografía propone una nueva forma (dialógica) de estudiar las diferentes formas de inferencia correlacional, conocidas en la jurisprudencia islámica como qiyās. Según la opinión de los autores, qiyās representa una forma innovadora y sofisticada de razonamiento dialéctico que no sólo proporciona nuevas perspectivas epistemológicas sobre la argumentación jurídica en general (incluido el razonamiento jurídico en el derecho consuetudinario y civil), sino que también proporciona un patrón detallado para el razonamiento paralelo que puede implementarse en una amplia gama de contextos de resolución de problemas y no parece reducirse a las formas estándar de razonamiento analógico estudiadas en la filosofía de la ciencia contemporánea y la teoría de la argumentación. Después de una visión general del surgimiento de qiyās y de la obra de al-Shīrāzī escrita por Soufi Youcef, los autores discuten la clasificación de al-Shīrāzī de las inferencias correlacionales del factor causante (qiyās al-''illa). La segunda parte del volumen se ocupa del sistema de inferencias correlacionales por indicación y semejanza (qiyās al-dalāla, qiyās al-shabah). La tercera parte desarrolla el principal marco teórico del trabajo de los autores, a saber, el enfoque dialógico de la teoría constructiva de tipos de Martin-Löf. Los autores lo presentan de forma general e independientemente de las adaptaciones desplegadas en las partes I y II. La parte III también incluye un apéndice sobre las nociones relevantes de la teoría constructiva de tipos, que se ha extraído de una descripción general escrita por Ansten Klev. El libro concluye con algunas breves observaciones sobre los enfoques contemporáneos de la analogía en el derecho consuetudinario y civil y también sobre el razonamiento paralelo en general. Nota de contenido: 1. Introduction -- 2. Qiyās Al-ʿIlla -- 3. Qiyās Al-Dalāla and Qiyās Al-Shabah -- 4. Immanent Reasoning and the Dialogical Constitution of Logic. Tipo de medio : Computadora Summary : This monograph proposes a new (dialogical) way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyās. According to the authors' view, qiyās represents an innovative and sophisticated form of dialectical reasoning that not only provides new epistemological insights into legal argumentation in general (including legal reasoning in Common and Civil Law) but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical reasoning studied in contemporary philosophy of science and argumentation theory. After an overview of the emergence of qiyās and of the work of al-Shīrāzī penned by Soufi Youcef, the authors discuss al-Shīrāzī's classification of correlational inferences of the occasioning factor (qiyās al-'illa). The second part of the volume deliberates on the system of correlational inferences by indication and resemblance (qiyās al-dalāla, qiyās al-shabah). The third part develops the main theoretical background of the authors' work, namely, the dialogical approach to Martin-Löf's Constructive Type Theory. The authors present this in a general form and independently of adaptations deployed in parts I and II. Part III also includes an appendix on the relevant notions of Constructive Type Theory, which has been extracted from an overview written by Ansten Klev. The book concludes with some brief remarks on contemporary approaches to analogy in Common and Civil Law and also to parallel reasoning in general. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Al-Shīrāzī's Insights into the Dialectical Constitution of Meaning and Knowledge [documento electrónico] / Rahman, Shahid, ; Iqbal, Muhammad, ; Soufi, Youcef, . - 1 ed. . - [s.l.] : Springer, 2019 . - XXI, 268 p. 156 ilustraciones.
ISBN : 978-3-030-22382-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Conocimiento Filosofía del Derecho Historia de la Filosofía Métodos de investigación en lengua y lingüística. Epistemología Historia del derecho Lingüística Lógica Historia Filosofía Derecho Metodología Clasificación: 160 Lógica Resumen: Esta monografía propone una nueva forma (dialógica) de estudiar las diferentes formas de inferencia correlacional, conocidas en la jurisprudencia islámica como qiyās. Según la opinión de los autores, qiyās representa una forma innovadora y sofisticada de razonamiento dialéctico que no sólo proporciona nuevas perspectivas epistemológicas sobre la argumentación jurídica en general (incluido el razonamiento jurídico en el derecho consuetudinario y civil), sino que también proporciona un patrón detallado para el razonamiento paralelo que puede implementarse en una amplia gama de contextos de resolución de problemas y no parece reducirse a las formas estándar de razonamiento analógico estudiadas en la filosofía de la ciencia contemporánea y la teoría de la argumentación. Después de una visión general del surgimiento de qiyās y de la obra de al-Shīrāzī escrita por Soufi Youcef, los autores discuten la clasificación de al-Shīrāzī de las inferencias correlacionales del factor causante (qiyās al-''illa). La segunda parte del volumen se ocupa del sistema de inferencias correlacionales por indicación y semejanza (qiyās al-dalāla, qiyās al-shabah). La tercera parte desarrolla el principal marco teórico del trabajo de los autores, a saber, el enfoque dialógico de la teoría constructiva de tipos de Martin-Löf. Los autores lo presentan de forma general e independientemente de las adaptaciones desplegadas en las partes I y II. La parte III también incluye un apéndice sobre las nociones relevantes de la teoría constructiva de tipos, que se ha extraído de una descripción general escrita por Ansten Klev. El libro concluye con algunas breves observaciones sobre los enfoques contemporáneos de la analogía en el derecho consuetudinario y civil y también sobre el razonamiento paralelo en general. Nota de contenido: 1. Introduction -- 2. Qiyās Al-ʿIlla -- 3. Qiyās Al-Dalāla and Qiyās Al-Shabah -- 4. Immanent Reasoning and the Dialogical Constitution of Logic. Tipo de medio : Computadora Summary : This monograph proposes a new (dialogical) way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyās. According to the authors' view, qiyās represents an innovative and sophisticated form of dialectical reasoning that not only provides new epistemological insights into legal argumentation in general (including legal reasoning in Common and Civil Law) but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical reasoning studied in contemporary philosophy of science and argumentation theory. After an overview of the emergence of qiyās and of the work of al-Shīrāzī penned by Soufi Youcef, the authors discuss al-Shīrāzī's classification of correlational inferences of the occasioning factor (qiyās al-'illa). The second part of the volume deliberates on the system of correlational inferences by indication and resemblance (qiyās al-dalāla, qiyās al-shabah). The third part develops the main theoretical background of the authors' work, namely, the dialogical approach to Martin-Löf's Constructive Type Theory. The authors present this in a general form and independently of adaptations deployed in parts I and II. Part III also includes an appendix on the relevant notions of Constructive Type Theory, which has been extracted from an overview written by Ansten Klev. The book concludes with some brief remarks on contemporary approaches to analogy in Common and Civil Law and also to parallel reasoning in general. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : Algebraic Perspectives on Substructural Logics Tipo de documento: documento electrónico Autores: Fazio, Davide, ; Ledda, Antonio, ; Paoli, Francesco, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: X, 193 p. 25 ilustraciones ISBN/ISSN/DL: 978-3-030-52163-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Lógica Álgebra Teoría de la prueba Teoría de la prueba y matemáticas constructivas Clasificación: 160 Lógica Resumen: Este volumen presenta el estado del arte en la investigación algebraica de lógicas subestructurales. Incluye artículos del taller AsubL (Álgebra y lógica subestructural - Toma 6). Celebrado en la Universidad de Cagliari, Italia, este evento forma parte del marco del Proyecto Horizonte 2020 SYSMICS: SYntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. Las lógicas subestructurales suelen formularse como sistemas Gentzen que carecen de una o más reglas estructurales. Han sido estudiados intensamente durante las últimas dos décadas por lógicos de diversas tendencias. Estos investigadores incluyen matemáticos, filósofos, lingüistas e informáticos. La lógica subestructural es aplicable a la investigación matemática de procesos tales como el razonamiento consciente de los recursos, el razonamiento aproximado, la gramática teórica de tipos y otras nociones centrales en la informática. También se aplican a la epistemología, la economía y la lingüística. El recurso a métodos algebraicos (o, mejor dicho, a la fecunda interacción del álgebra y la teoría de la demostración) ha resultado útil para proporcionar un marco unificador para estas investigaciones. En particular, la serie de conferencias AsubL ha desempeñado un papel importante en estos avances. Esta colección atraerá a estudiantes e investigadores interesados en la lógica subestructural, la lógica algebraica abstracta, las redes residuales, la teoría de la prueba, el álgebra universal y la semántica lógica. Nota de contenido: Chapter 1. Introduction -- Chapter 2. Distributivity and Varlet Distributivity (Paolo Aglianò) -- Chapter 3. On Distributive Join Semilattices (Rodolfo C. Ertola-Biraben, Francesc Esteva, and Lluìs Godo) -- Chapter 4. Implication in Weakly and Dually Weakly Orthomodular Lattices (Ivan Chajda, Helmut Länger) -- Chapter 5. Residuated Operators And Dedekind-Macneille Completion (Ivan Chajda, Helmut Länger, Jan Paseka) -- Chapter 6. Pbz* -Lattices: Ordinal And Horizontal Sums (Roberto Giuntini, Claudia Murešan, Francesco Paoli) -- Chapter 7. Emv-Algebras - Extended MV-Algebras (Anatolij Dvurečenskij, Omid Zahiri) -- Chapter 8. Quasi-Nelson; or, Non-Involutive Nelson Algebras (Umberto Rivieccio, Matthew Spinks) -- Chapter 9. Hyperdoctrines and the Ontology of Stratified Semantics (Shay Allen Logan). Tipo de medio : Computadora Summary : This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Algebraic Perspectives on Substructural Logics [documento electrónico] / Fazio, Davide, ; Ledda, Antonio, ; Paoli, Francesco, . - 1 ed. . - [s.l.] : Springer, 2021 . - X, 193 p. 25 ilustraciones.
ISBN : 978-3-030-52163-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Lógica Álgebra Teoría de la prueba Teoría de la prueba y matemáticas constructivas Clasificación: 160 Lógica Resumen: Este volumen presenta el estado del arte en la investigación algebraica de lógicas subestructurales. Incluye artículos del taller AsubL (Álgebra y lógica subestructural - Toma 6). Celebrado en la Universidad de Cagliari, Italia, este evento forma parte del marco del Proyecto Horizonte 2020 SYSMICS: SYntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. Las lógicas subestructurales suelen formularse como sistemas Gentzen que carecen de una o más reglas estructurales. Han sido estudiados intensamente durante las últimas dos décadas por lógicos de diversas tendencias. Estos investigadores incluyen matemáticos, filósofos, lingüistas e informáticos. La lógica subestructural es aplicable a la investigación matemática de procesos tales como el razonamiento consciente de los recursos, el razonamiento aproximado, la gramática teórica de tipos y otras nociones centrales en la informática. También se aplican a la epistemología, la economía y la lingüística. El recurso a métodos algebraicos (o, mejor dicho, a la fecunda interacción del álgebra y la teoría de la demostración) ha resultado útil para proporcionar un marco unificador para estas investigaciones. En particular, la serie de conferencias AsubL ha desempeñado un papel importante en estos avances. Esta colección atraerá a estudiantes e investigadores interesados en la lógica subestructural, la lógica algebraica abstracta, las redes residuales, la teoría de la prueba, el álgebra universal y la semántica lógica. Nota de contenido: Chapter 1. Introduction -- Chapter 2. Distributivity and Varlet Distributivity (Paolo Aglianò) -- Chapter 3. On Distributive Join Semilattices (Rodolfo C. Ertola-Biraben, Francesc Esteva, and Lluìs Godo) -- Chapter 4. Implication in Weakly and Dually Weakly Orthomodular Lattices (Ivan Chajda, Helmut Länger) -- Chapter 5. Residuated Operators And Dedekind-Macneille Completion (Ivan Chajda, Helmut Länger, Jan Paseka) -- Chapter 6. Pbz* -Lattices: Ordinal And Horizontal Sums (Roberto Giuntini, Claudia Murešan, Francesco Paoli) -- Chapter 7. Emv-Algebras - Extended MV-Algebras (Anatolij Dvurečenskij, Omid Zahiri) -- Chapter 8. Quasi-Nelson; or, Non-Involutive Nelson Algebras (Umberto Rivieccio, Matthew Spinks) -- Chapter 9. Hyperdoctrines and the Ontology of Stratified Semantics (Shay Allen Logan). Tipo de medio : Computadora Summary : This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics. Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : Applications of Formal Philosophy : The Road Less Travelled Tipo de documento: documento electrónico Autores: Urbaniak, Rafał, ; Payette, Gillman, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: VI, 263 p. 24 ilustraciones ISBN/ISSN/DL: 978-3-319-58507-9 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: Lógica Ciencias Políticas Teoría de juego Teoría política Clasificación: 160 Lógica Resumen: Este libro presenta los esfuerzos de los filósofos matemáticos y formales por comprender cuestiones filosóficas utilizando técnicas matemáticas. Ofrece una colección de trabajos de investigadores destacados en el área, que analizan algunas de las formas más fascinantes en que se aplican actualmente los métodos formales. Cubre temas tales como: los usos del razonamiento probable y estadístico, la teoría de la elección racional, el razonamiento en las ciencias ambientales, el razonamiento sobre leyes y cambios de reglas, y el razonamiento sobre procedimientos de decisión colectiva, así como sobre acción. La utilización de técnicas matemáticas ha sido muy fructífera en los dominios tradicionales de la filosofía formal (lógica, filosofía de las matemáticas y metafísica), mientras que la filosofía formal se está ramificando simultáneamente hacia otras áreas de la filosofía y las ciencias sociales. Estas áreas incluyen particularmente la ética, las ciencias políticas y la metodología de las ciencias naturales y sociales. El razonamiento sobre las normas jurídicas, los procedimientos colectivos de toma de decisiones y las elecciones racionales es de interés para todos aquellos que se dedican a la teoría jurídica, las ciencias políticas y la economía. El razonamiento estadístico también es de interés para los politólogos y economistas. Nota de contenido: 1.Applied Formal Philosophy: Some Reflections on the Program -- 2.The logic of guilt, innocence and legal discourse -- 3.Counterfactuals in logic programming with applications to agent morality -- 4.The Wisdom of the Multitude: Diversity versus Size -- 5.A formal semantics of international relations -- 6. A Logic for Human Actions -- 7.Reasoning with Comparative Moral Judgements: an Argument for Moral Bayesianism. Tipo de medio : Computadora Summary : This book features mathematical and formal philosophers' efforts to understand philosophical questions using mathematical techniques. It offers a collection of works from leading researchers in the area, who discuss some of the most fascinating ways formal methods are now being applied. It covers topics such as: the uses of probable and statistical reasoning, rational choice theory, reasoning in the environmental sciences, reasoning about laws and changes of rules, and reasoning about collective decision procedures as well as about action. Utilizing mathematical techniques has been very fruitful in the traditional domains of formal philosophy – logic, philosophy of mathematics and metaphysics – while formal philosophy is simultaneously branching out into other areas in philosophy and the social sciences. These areas particularly include ethics, political science, and the methodology of the natural and social sciences. Reasoning about legal rules, collective decision-making procedures,and rational choices are of interest to all those engaged in legal theory, political science and economics. Statistical reasoning is also of interest to political scientists and economists. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Applications of Formal Philosophy : The Road Less Travelled [documento electrónico] / Urbaniak, Rafał, ; Payette, Gillman, . - 1 ed. . - [s.l.] : Springer, 2017 . - VI, 263 p. 24 ilustraciones.
ISBN : 978-3-319-58507-9
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Idioma : Inglés (eng)
Palabras clave: Lógica Ciencias Políticas Teoría de juego Teoría política Clasificación: 160 Lógica Resumen: Este libro presenta los esfuerzos de los filósofos matemáticos y formales por comprender cuestiones filosóficas utilizando técnicas matemáticas. Ofrece una colección de trabajos de investigadores destacados en el área, que analizan algunas de las formas más fascinantes en que se aplican actualmente los métodos formales. Cubre temas tales como: los usos del razonamiento probable y estadístico, la teoría de la elección racional, el razonamiento en las ciencias ambientales, el razonamiento sobre leyes y cambios de reglas, y el razonamiento sobre procedimientos de decisión colectiva, así como sobre acción. La utilización de técnicas matemáticas ha sido muy fructífera en los dominios tradicionales de la filosofía formal (lógica, filosofía de las matemáticas y metafísica), mientras que la filosofía formal se está ramificando simultáneamente hacia otras áreas de la filosofía y las ciencias sociales. Estas áreas incluyen particularmente la ética, las ciencias políticas y la metodología de las ciencias naturales y sociales. El razonamiento sobre las normas jurídicas, los procedimientos colectivos de toma de decisiones y las elecciones racionales es de interés para todos aquellos que se dedican a la teoría jurídica, las ciencias políticas y la economía. El razonamiento estadístico también es de interés para los politólogos y economistas. Nota de contenido: 1.Applied Formal Philosophy: Some Reflections on the Program -- 2.The logic of guilt, innocence and legal discourse -- 3.Counterfactuals in logic programming with applications to agent morality -- 4.The Wisdom of the Multitude: Diversity versus Size -- 5.A formal semantics of international relations -- 6. A Logic for Human Actions -- 7.Reasoning with Comparative Moral Judgements: an Argument for Moral Bayesianism. Tipo de medio : Computadora Summary : This book features mathematical and formal philosophers' efforts to understand philosophical questions using mathematical techniques. It offers a collection of works from leading researchers in the area, who discuss some of the most fascinating ways formal methods are now being applied. It covers topics such as: the uses of probable and statistical reasoning, rational choice theory, reasoning in the environmental sciences, reasoning about laws and changes of rules, and reasoning about collective decision procedures as well as about action. Utilizing mathematical techniques has been very fruitful in the traditional domains of formal philosophy – logic, philosophy of mathematics and metaphysics – while formal philosophy is simultaneously branching out into other areas in philosophy and the social sciences. These areas particularly include ethics, political science, and the methodology of the natural and social sciences. Reasoning about legal rules, collective decision-making procedures,and rational choices are of interest to all those engaged in legal theory, political science and economics. Statistical reasoning is also of interest to political scientists and economists. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
