Ono, Hiroakira
Ono, Hiroakira, 1942-
小野, 寛晰, 1942-
小野, 寛晰
Hiroakira Ono japonský matematik
VIAF ID: 92144648454720957591 ( Personal )
Permalink: http://viaf.org/viaf/92144648454720957591
Preferred Forms
- 100 0 _ ‡a Hiroakira Ono ‡c japonský matematik
- 100 1 _ ‡a Ono, Hiroakira
- 100 1 _ ‡a Ono, Hiroakira
- 100 1 _ ‡a Ono, Hiroakira
-
- 100 1 _ ‡a Ono, Hiroakira
-
-
-
-
-
- 100 1 _ ‡a 小野, 寛晰
- 100 1 _ ‡a 小野, 寛晰, ‡d 1942-
4xx's: Alternate Name Forms (10)
Works
Title | Sources |
---|---|
Algebraic characterizations of variable separation properties | |
Bunkakei no sūgaku | |
Decidability and finite model property of substructural logics | |
Gendai sūri ronrigaku josetsu | |
Interval / probabilistic uncertainty and non-classical logics | |
Jōhō kagaku ni okeru ronri | |
Kankei no daisū | |
Logic, language, information and computation, 2009: | |
Modality, semantics and interpretations : the second Asian workshop on philosophical logic | |
Non-standard logics and logical aspects of computer sciences | |
Philosophical Logic: Current Trends in Asia : Proceedings of AWPL-TPLC 2016 | |
Proof theory and algebra in logic | |
Puroguramu no kiso riron | |
Recent developments related to residuated lattices and substructural logics | |
What are substructural logics? : autoref. | |
プログラムの基礎理論 | |
文科系の数学 | |
部分構造論理と代数構造 | |
代数的方法による論理学の新たな展開 | |
関係の代数 : 集合・順序・グラフ | |
情報代数 | |
情報科学における論理 | |
数学基礎論及び数理論理学の総合的研究 | |
現代数理論理学序說 | |
理論計算機科学における数理論理学の応用 | |
非標準論理研究の新しい展開 |