Información del autor
Autor Ono, Hiroakira |
Documentos disponibles escritos por este autor (3)
Crear una solicitud de compra 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. Idioma : Inglés (eng) 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 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. Tipo de medio : Computadora Summary : This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, and philosophical foundations of logic. They also reflect the interdisciplinary nature of logic – a subject that has been studied in fields as diverse as philosophy, linguistics, mathematics, computer science and artificial intelligence. More specifically. The book also presents the latest developments in logic both in Asia and beyond. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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 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. Tipo de medio : Computadora Summary : This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing in October 2018. The contributions cover a wide variety of topics in modal logic (epistemic logic, temporal logic and dynamic logic), proof theory, algebraic logic, game logics, and philosophical foundations of logic. They also reflect the interdisciplinary nature of logic – a subject that has been studied in fields as diverse as philosophy, linguistics, mathematics, computer science and artificial intelligence. More specifically. The book also presents the latest developments in logic both in Asia and beyond. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
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. Idioma : Inglés (eng) 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 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. Tipo de medio : Computadora Summary : This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology. The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-elimination, and a Boolean approach to causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/phil osophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] 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.
Idioma : Inglés (eng)
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 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. Tipo de medio : Computadora Summary : This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology. The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-elimination, and a Boolean approach to causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/phil osophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Título : Proof Theory and Algebra in Logic Tipo de documento: documento electrónico Autores: Ono, Hiroakira, 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. Idioma : Inglés (eng) 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 Clasificación: 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. Tipo de medio : Computadora Summary : This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete results using the former and the general, abstract ones using the latter. Covering modal logics, many-valued logics, superintuitionistic and substructural logics, together with their algebraic semantics, the book also provides an introduction to nonclassical logic for undergraduate or graduate level courses. The book is divided into two parts: Proof Theory in Part I and Algebra in Logic in Part II. Part I presents sequent systems and discusses cut elimination and its applications in detail. It also provides simplified proof of cut elimination, making the topic more accessible. The last chapter of Part I is devoted to clarification of the classes of logics that are discussed inthe second part. Part II focuses on algebraic semantics for these logics. At the same time, it is a gentle introduction to the basics of algebraic logic and universal algebra with many examples of their applications in logic. Part II can be read independently of Part I, with only minimum knowledge required, and as such is suitable as a textbook for short introductory courses on algebra in logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Proof Theory and Algebra in Logic [documento electrónico] / Ono, Hiroakira, . - 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.
Idioma : Inglés (eng)
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 Clasificación: 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. Tipo de medio : Computadora Summary : This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The importance of combining these two has been increasingly recognized in recent years. It highlights the contrasts between the deep, concrete results using the former and the general, abstract ones using the latter. Covering modal logics, many-valued logics, superintuitionistic and substructural logics, together with their algebraic semantics, the book also provides an introduction to nonclassical logic for undergraduate or graduate level courses. The book is divided into two parts: Proof Theory in Part I and Algebra in Logic in Part II. Part I presents sequent systems and discusses cut elimination and its applications in detail. It also provides simplified proof of cut elimination, making the topic more accessible. The last chapter of Part I is devoted to clarification of the classes of logics that are discussed inthe second part. Part II focuses on algebraic semantics for these logics. At the same time, it is a gentle introduction to the basics of algebraic logic and universal algebra with many examples of their applications in logic. Part II can be read independently of Part I, with only minimum knowledge required, and as such is suitable as a textbook for short introductory courses on algebra in logic. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
