Autor Ono, Hiroakira
|
|
Documentos disponibles escritos por este autor (3)
Hacer una sugerencia Refinar búsqueda
Título : Knowledge, Proof and Dynamics : The Fourth Asian Workshop on Philosophical Logic Tipo de documento: documento electrónico Autores: Liu, Fenrong, ; Ono, Hiroakira, ; Yu, Junhua, Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2020 Número de páginas: IX, 217 p. 172 ilustraciones, 16 ilustraciones en color. ISBN/ISSN/DL: 978-981-1522215-- 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 volumen reúne artículos seleccionados presentados en el Cuarto Taller Asiático sobre Lógica Filosófica, celebrado en Beijing en octubre de 2018. Las contribuciones cubren una amplia variedad de temas en lógica modal (lógica epistémica, lógica temporal y lógica dinámica), teoría de la prueba, lógica algebraica, lógica de juegos y fundamentos filosóficos de la lógica. También reflejan la naturaleza interdisciplinaria de la lógica, una materia que se ha estudiado en campos tan diversos como la filosofía, la lingüística, las matemáticas, la informática y la inteligencia artificial. Más específicamente. El libro también presenta los últimos avances en lógica tanto en Asia como más allá. Nota de contenido: Glivenko-Kuroda translation in logics for knowability paradox -- Formal semantics for the Sally-Anne tasks -- Sequential method in dynamic quantum logic -- Sequent calculi for ordered bisemigroups -- Jin Yuelin "Refuting Carroll's attack" on inference -- Local fact change logic -- The modal logics of the poison game -- A logical characterization of the continuous bar induction -- Decidability of a modal logic with predicate abstraction & functions -- Unary temporal logics, points and intervals -- The Zero-One law for sabotage games. 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 Knowledge, Proof and Dynamics : The Fourth Asian Workshop on Philosophical Logic [documento electrónico] / Liu, Fenrong, ; Ono, Hiroakira, ; Yu, Junhua, . - 1 ed. . - Singapore [Malasya] : Springer, 2020 . - IX, 217 p. 172 ilustraciones, 16 ilustraciones en color.
ISBN : 978-981-1522215--
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 volumen reúne artículos seleccionados presentados en el Cuarto Taller Asiático sobre Lógica Filosófica, celebrado en Beijing en octubre de 2018. Las contribuciones cubren una amplia variedad de temas en lógica modal (lógica epistémica, lógica temporal y lógica dinámica), teoría de la prueba, lógica algebraica, lógica de juegos y fundamentos filosóficos de la lógica. También reflejan la naturaleza interdisciplinaria de la lógica, una materia que se ha estudiado en campos tan diversos como la filosofía, la lingüística, las matemáticas, la informática y la inteligencia artificial. Más específicamente. El libro también presenta los últimos avances en lógica tanto en Asia como más allá. Nota de contenido: Glivenko-Kuroda translation in logics for knowability paradox -- Formal semantics for the Sally-Anne tasks -- Sequential method in dynamic quantum logic -- Sequent calculi for ordered bisemigroups -- Jin Yuelin "Refuting Carroll's attack" on inference -- Local fact change logic -- The modal logics of the poison game -- A logical characterization of the continuous bar induction -- Decidability of a modal logic with predicate abstraction & functions -- Unary temporal logics, points and intervals -- The Zero-One law for sabotage games. 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
Título : Philosophical Logic: Current Trends in Asia : Proceedings of AWPL-TPLC 2016 Tipo de documento: documento electrónico Autores: Yang, Syraya Chin-Mu, ; Lee, Kok Yong, ; Ono, Hiroakira, Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2017 Número de páginas: XVI, 296 p. 7 ilustraciones ISBN/ISSN/DL: 978-981-10-6355-8 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 volumen reúne a un grupo de filósofos con mentalidad lógica y lógicos de orientación filosófica, principalmente de Asia, para abordar una variedad de temas lógicos y filosóficos de interés actual, ofreciendo una muestra representativa del panorama de la lógica filosófica en Asia a principios del siglo XXI. . Examina una variedad de campos, incluida la lógica modal, la lógica epistémica, la semántica formal, la decidibilidad y la mereología. El libro propone nuevos enfoques y construye marcos más potentes, como la teoría de la cobertura, un enfoque algebraico para la eliminación de cortes y un enfoque booleano para el descubrimiento causal, por nombrar sólo algunos. Los lectores pueden encontrar una amplia gama de aplicaciones de estos trabajos originales en la investigación actual de la lógica filosófica, especialmente en el análisis estructural y conceptual de algunas propiedades semánticas y sistemas formales importantes. La variedad de temas y cuestiones discutidos aquí atraerá a lectores de un amplio espectro de disciplinas, que van desde la lógica matemática/filosófica, la ciencia informática, la ciencia cognitiva y la inteligencia artificial, hasta la lingüística, la teoría de juegos y más. Nota de contenido: Representing and Completing Lattices by Propositions of Cover Systems -- A Uniform Algebraic Approach to Cut Elimination via Semi-completeness -- Ancient Indian Logic, Paksa and Analogy -- Provability and Decidability of Arithmetical Sentences -- On the Minimization Principle in the Boolean Approach to Causal Discovery -- Contentual and Formal Aspects of Gentzen's Consistency Proofs -- Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument -- Cut free Labelled Sequent Calculus for Dynamic Logic of Relation Changers -- On Second Order Propositional Intuitionistic Logics -- Classical Model Existence Theorem in Subclassical Predicate Logics. II -- On Incorporating Reasoning Time into Epistemic Logic -- Proof-theoretic Embedding from Visser's Basic Propositional Logic to Modal Logic K4 via Non-Labelled Sequent Calculi -- Varieties of Parthood -- Infinite "Atomic" Mereological Structures. 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 Philosophical Logic: Current Trends in Asia : Proceedings of AWPL-TPLC 2016 [documento electrónico] / Yang, Syraya Chin-Mu, ; Lee, Kok Yong, ; Ono, Hiroakira, . - 1 ed. . - Singapore [Malasya] : Springer, 2017 . - XVI, 296 p. 7 ilustraciones.
ISBN : 978-981-10-6355-8
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 volumen reúne a un grupo de filósofos con mentalidad lógica y lógicos de orientación filosófica, principalmente de Asia, para abordar una variedad de temas lógicos y filosóficos de interés actual, ofreciendo una muestra representativa del panorama de la lógica filosófica en Asia a principios del siglo XXI. . Examina una variedad de campos, incluida la lógica modal, la lógica epistémica, la semántica formal, la decidibilidad y la mereología. El libro propone nuevos enfoques y construye marcos más potentes, como la teoría de la cobertura, un enfoque algebraico para la eliminación de cortes y un enfoque booleano para el descubrimiento causal, por nombrar sólo algunos. Los lectores pueden encontrar una amplia gama de aplicaciones de estos trabajos originales en la investigación actual de la lógica filosófica, especialmente en el análisis estructural y conceptual de algunas propiedades semánticas y sistemas formales importantes. La variedad de temas y cuestiones discutidos aquí atraerá a lectores de un amplio espectro de disciplinas, que van desde la lógica matemática/filosófica, la ciencia informática, la ciencia cognitiva y la inteligencia artificial, hasta la lingüística, la teoría de juegos y más. Nota de contenido: Representing and Completing Lattices by Propositions of Cover Systems -- A Uniform Algebraic Approach to Cut Elimination via Semi-completeness -- Ancient Indian Logic, Paksa and Analogy -- Provability and Decidability of Arithmetical Sentences -- On the Minimization Principle in the Boolean Approach to Causal Discovery -- Contentual and Formal Aspects of Gentzen's Consistency Proofs -- Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument -- Cut free Labelled Sequent Calculus for Dynamic Logic of Relation Changers -- On Second Order Propositional Intuitionistic Logics -- Classical Model Existence Theorem in Subclassical Predicate Logics. II -- On Incorporating Reasoning Time into Epistemic Logic -- Proof-theoretic Embedding from Visser's Basic Propositional Logic to Modal Logic K4 via Non-Labelled Sequent Calculi -- Varieties of Parthood -- Infinite "Atomic" Mereological Structures. 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
Título : Proof Theory and Algebra in Logic Tipo de documento: documento electrónico Autores: Ono, Hiroakira, Autor Mención de edición: 1 ed. Editorial: Singapore [Malasya] : Springer Fecha de publicación: 2019 Número de páginas: VIII, 160 p. 4 ilustraciones ISBN/ISSN/DL: 978-981-1379970-- 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 Teoría de las máquinas Lógica matemática Álgebra Lenguajes formales y teoría de los autómatas Lógica Matemática y Fundamentos Orden Celosías Estructuras Algebraicas Ordenadas Índice Dewey: 160 Lógica Resumen: Este libro ofrece una introducción concisa tanto a la teoría de la prueba como a los métodos algebraicos, el núcleo del estudio sintáctico y semántico de la lógica, respectivamente. La importancia de combinar estos dos ha sido cada vez más reconocida en los últimos años. Destaca los contrastes entre los resultados profundos y concretos del primero y los generales y abstractos del segundo. Cubriendo lógicas modales, lógicas multivaluadas, lógicas superintuicionistas y subestructurales, junto con su semántica algebraica, el libro también proporciona una introducción a la lógica no clásica para cursos de pregrado o posgrado. El libro está dividido en dos partes: Teoría de la prueba en la Parte I y Álgebra en Lógica en la Parte II. La Parte I presenta los sistemas siguientes y analiza en detalle la eliminación de cortes y sus aplicaciones. También proporciona una prueba simplificada de eliminación de cortes, lo que hace que el tema sea más accesible. El último capítulo de la Parte I está dedicado a aclarar las clases de lógicas que se analizan en la segunda parte. La Parte II se centra en la semántica algebraica de estas lógicas. Al mismo tiempo, es una suave introducción a los conceptos básicos de la lógica algebraica y el álgebra universal con muchos ejemplos de sus aplicaciones en lógica. La Parte II se puede leer independientemente de la Parte I, requiriendo sólo un conocimiento mínimo y, como tal, es adecuado como libro de texto para cursos breves de introducción al álgebra en lógica. Nota de contenido: Introduction -- Part I Proof Theory -- Sequent systems -- Cut elimination for sequent systems -- Proof-theoretic analysis of logical properties -- Modal and substructural logics -- Deducibility and axiomatic extensions -- Part II Algebra in Logic -- Boolean algebras and classical logic -- Many-valued algebras -- Heyting algebras and intuitionistic logic -- Logics and varieties -- Residuated structures -- Modal algebras -- References -- Index. 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 Proof Theory and Algebra in Logic [documento electrónico] / Ono, Hiroakira, Autor . - 1 ed. . - Singapore [Malasya] : Springer, 2019 . - VIII, 160 p. 4 ilustraciones.
ISBN : 978-981-1379970--
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 Teoría de las máquinas Lógica matemática Álgebra Lenguajes formales y teoría de los autómatas Lógica Matemática y Fundamentos Orden Celosías Estructuras Algebraicas Ordenadas Índice Dewey: 160 Lógica Resumen: Este libro ofrece una introducción concisa tanto a la teoría de la prueba como a los métodos algebraicos, el núcleo del estudio sintáctico y semántico de la lógica, respectivamente. La importancia de combinar estos dos ha sido cada vez más reconocida en los últimos años. Destaca los contrastes entre los resultados profundos y concretos del primero y los generales y abstractos del segundo. Cubriendo lógicas modales, lógicas multivaluadas, lógicas superintuicionistas y subestructurales, junto con su semántica algebraica, el libro también proporciona una introducción a la lógica no clásica para cursos de pregrado o posgrado. El libro está dividido en dos partes: Teoría de la prueba en la Parte I y Álgebra en Lógica en la Parte II. La Parte I presenta los sistemas siguientes y analiza en detalle la eliminación de cortes y sus aplicaciones. También proporciona una prueba simplificada de eliminación de cortes, lo que hace que el tema sea más accesible. El último capítulo de la Parte I está dedicado a aclarar las clases de lógicas que se analizan en la segunda parte. La Parte II se centra en la semántica algebraica de estas lógicas. Al mismo tiempo, es una suave introducción a los conceptos básicos de la lógica algebraica y el álgebra universal con muchos ejemplos de sus aplicaciones en lógica. La Parte II se puede leer independientemente de la Parte I, requiriendo sólo un conocimiento mínimo y, como tal, es adecuado como libro de texto para cursos breves de introducción al álgebra en lógica. Nota de contenido: Introduction -- Part I Proof Theory -- Sequent systems -- Cut elimination for sequent systems -- Proof-theoretic analysis of logical properties -- Modal and substructural logics -- Deducibility and axiomatic extensions -- Part II Algebra in Logic -- Boolean algebras and classical logic -- Many-valued algebras -- Heyting algebras and intuitionistic logic -- Logics and varieties -- Residuated structures -- Modal algebras -- References -- Index. 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
