Books found that match ""Hiroakira Ono""

18 books were found.

Proof Theory and Algebra in Logic

Proof Theory and Algebra in Logic

Author: Hiroakira Ono
ISBN: 9789811379963
Format: Paperback
$77.60

Covering modal logics, many-valued logics, superintuitionistic and substructural logics, together with their algebraic...  Read More >>

Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings

Logic, Language, Information and Computation: 16th International...

Author: Hiroakira Ono ,  Makoto Kanazawa
ISBN: 9783642022609
Format: Paperback
$237.47

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the...  Read More >>

Logic, Language, Information and Computation

Logic, Language, Information and Computation

Author: Hiroakira Ono ,  Makoto Kanazawa
ISBN: 9783642022623
Format: Undefined
$65.87

<p>Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes...  Read More >>

Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic

Knowledge, Proof and Dynamics: The Fourth Asian Workshop...

Author: Fenrong Liu ,  Hiroakira Ono
ISBN: 9789811522239
Format: Paperback
$369.57

 Read More >>

Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic

Knowledge, Proof and Dynamics: The Fourth Asian Workshop...

Author: Fenrong Liu ,  Hiroakira Ono
ISBN: 9789811522208
Format: Hardback
$362.22

This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic, held in Beijing...  Read More >>

Mathematical Logic In Asia - Proceedings Of The 9th Asian Logic Conference

Mathematical Logic In Asia - Proceedings Of The 9th...

Author: Sergei S Goncharov (Russian Academy Of Sci, Russia) ,  Hiroakira Ono (Japan Advanced Inst Of Sci & Tech, Japan)
ISBN: 9789812700452
Format: Hardback
$274.56

Devoted to the main areas of mathematical logic and applications to computer science, this volume features articles...  Read More >>

Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, Volume 151.

Residuated Lattices: An Algebraic Glimpse at Substructural...

Author: Nikolaos Galatos ,  Peter Jipsen
ISBN: 9786611051068
Format: Electronic book text
$696.96

This book considers both the algebraic and logical perspective within a common framework. It is written by experts...  Read More >>

Residuated Lattices: An Algebraic Glimpse at Substructural Logics: An Algebraic Glimpse at Substructural Logics

Residuated Lattices: An Algebraic Glimpse at Substructural...

Author: Nikolaos Galatos ,  Peter Jipsen
ISBN: 9781281051066
Format: Undefined
$468.86

The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in...  Read More >>

Interval / Probabilistic Uncertainty and Non-Classical Logics

Interval / Probabilistic Uncertainty and Non-Classical...

Author: Van-Nam Huynh ,  Van-Nam Huynh
ISBN: 9781281179708
Format: Undefined
$710.16

Contains the proceedings of the first International Workshop on Interval/Probabilistic Uncertainty and Non Classical...  Read More >>

Interval / Probabilistic Uncertainty and Non-classical Logics

Interval / Probabilistic Uncertainty and Non-classical...

Author: Van-Nam Huynh ,  Yoshiteru Nakamori
ISBN: 9783540776635
Format: Paperback
$578.16

This book contains the proceedings of the first International Workshop on Interval/Probabilistic Uncertainty and...  Read More >>

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016

Philosophical Logic: Current Trends in Asia: Proceedings...

Author: Syraya Chin-Mu Yang ,  Kok Yong Lee
ISBN: 9789811348631
Format: Paperback
$465.72

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly...  Read More >>

Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic

Modality, Semantics and Interpretations: The Second...

Author: Shier Ju ,  Hu Liu
ISBN: 9783662517178
Format: Paperback
$194.04

This contributed volume includes both theoretical research on philosophical logic and its applications in artificial...  Read More >>

Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic

Modality, Semantics and Interpretations: The Second...

Author: Shier Ju ,  Hu Liu
ISBN: 9783662471968
Format: Hardback
$194.04

This contributed volume includes both theoretical research on philosophical logic and its applications in artificial...  Read More >>

Interval / Probabilistic Uncertainty and Non-Classical Logics. Advances in Soft Computin, Volume 46.

Interval / Probabilistic Uncertainty and Non-Classical...

Author: Van-Nam Huynh ,  Yoshiteru Nakamori
ISBN: 9786611179700
Format: Electronic book text
$1156.32

Most successful applications of modern science and engineering, from discovering the human genome to predicting...  Read More >>

Proceedings Of The 10th Asian Logic Conference

Proceedings Of The 10th Asian Logic Conference

Author: Chitat Chong (Nus, S'pore) ,  Rodney G Downey (Victoria Univ Of Wellington, New Zealand)
ISBN: 9789814293013
Format: Hardback
$364.32

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This...  Read More >>

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Residuated Lattices: An Algebraic Glimpse at Substructural...

Author: Nikolaos Galatos (School of Information Science, Japan Advanced Institute of Science and Technology) ,  Peter Jipsen (Chapman University, Orange, USA)
ISBN: 9780444521415
Format: Hardback
$168.95

Presents results in algebraic research into residuated structures related to substructural logics amd provides an...  Read More >>

Latest Reading Guide

MDRG1

 VIEW OUR LATEST READING GUIDE HERE 

Shopping Cart
Your cart is empty
Shopping cart