Sökt på: Böcker av Hiroakira Ono
totalt 19 träffar
Proof Theory and Algebra in Logic
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 …
Knowledge, Proof and Dynamics
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 …
Proceedings Of The 10th Asian Logic Conference
The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in …
Modality, Semantics and Interpretations
This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of …
Logic, Language, Information and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed …
Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference
This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmic complexity of …
Philosophical Logic: Current Trends in Asia
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 …
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to …
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to …
Philosophical Logic: Current Trends in Asia
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 …
Philosophical Logic: Current Trends in Asia
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 …
Proceedings Of The 10th Asian Logic Conference
The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in …