Ono, Hiroakira.

Overview

Works:	1 works in 3 publications in 1 languages

Titles

Modality, semantics and interpretations = the second Asian Workshop on Philosophical Logic / by: Liu, Hu.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Ono, Hiroakira.; Ju, Shier. (Language materials, printed)

Modality, Semantics and Interpretations = The Second Asian Workshop on Philosophical Logic / by: Ju, Shier.; Ono, Hiroakira.; SpringerLink (Online service); Liu, Hu. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Proof Theory and Algebra in Logic by: SpringerLink (Online service); Ono, Hiroakira. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Philosophical logic = current trends in Asia : proceedings of AWPL-TPLC 2016 / by: Ono, Hiroakira.; Yang, Syraya Chin-Mu.; SpringerLink (Online service); Lee, Kok Yong. (Language materials, printed)

Knowledge, Proof and Dynamics = The Fourth Asian Workshop on Philosophical Logic / by: Liu, Fenrong.; SpringerLink (Online service); Ono, Hiroakira.; Yu, Junhua. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Proof theory and algebra in logic by: Ono, Hiroakira.; SpringerLink (Online service) (Language materials, printed)

Subjects

Mathematical logic. Ordered algebraic structures. Artificial intelligence. Logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Artificial Intelligence (incl. Robotics) Artificial Intelligence. Philosophy Logic Proof theory. Algebraic logic. Algebra. Philosophy. Order, Lattices, Ordered Algebraic Structures.