Substructural logic with Galois connection
Substructural logic with Galois connection
具有伽罗瓦连接的子结构逻辑
批准号：
24500024
负责人：
KONDO Michiro
金额：
$2.25万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2015-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Join Operations on Commutative BCK-Algebras with Condition (S)
带条件 (S) 的可交换 BCK 代数的联合运算
带条件 (S) 的可交换 BCK 代数的联合运算
DOI：
10.1109/ismvl.2013.34
发表时间：
2013
期刊：
Proc. IEEE ISMVL 2013
影响因子：
--
作者：
[M.F. Kawaguchi, K. Minami and M. Kondo]
通讯作者：
K. Minami and M. Kondo
Some properties of strong Galois connections
强伽罗瓦联系的一些性质
强伽罗瓦联系的一些性质
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[加賀江 優幸, 南出 靖彦, 藤田憲悦, 今井桂子, Zhi-Zhong Chen, 近藤通朗, 倉田俊彦, Yasuhiko Minamide, 篠原 卓，森口 昌樹，今井桂子, 近藤通朗, Zhi-Zhong Chen, Ryo Kashima, Yasuhiko Minamide, Zhi-Zhong Chen, Michiro Kondo]
通讯作者：
Michiro Kondo
非可換剰余束の商構造について
关于非交换余数丛的商结构
关于非交换余数丛的商结构
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[加賀江 優幸, 南出 靖彦, 藤田憲悦, 今井桂子, Zhi-Zhong Chen, 近藤通朗]
通讯作者：
近藤通朗
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
[上里 友弥, 南出 靖彦, Zhi-Zhong Chen, K. Fujita, 坂田幸士郎，森口昌樹，今井桂子, M. Kondo]
通讯作者：
M. Kondo
On residuated lattices with universal quantifiers
关于带有全称量词的剩余格
关于带有全称量词的剩余格
DOI：
--
发表时间：
2015
期刊：
The Bulletin of the Iranian Mathematical Society
影响因子：
--
作者：
[薩摩順吉, 大石進一, 杉原正顯, 合原一幸, 芦野隆一, 畔上秀幸, 一森哲男, 大塚厚二, 岡本久, 白柳潔, 杉原厚吉, 杉山将, 鈴木貴, 関川浩, 田辺誠, 田端正久, 土谷隆, 中村憲, 奈良高明, 成田清正, 萩谷昌己, 萩原一郎, 引原隆士, 藤井裕矩, 松木平淳太, 宮本裕一郎 他, 仲川 勇二, Zhi-Zhong Chen, 鈴木廉，森口昌樹，今井桂子, Michiro Kondo]
通讯作者：
Michiro Kondo
共 16 条
States on non-commutative residuated lattices
-
批准号：15K00024
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.33万
-
财政年份：2015
-
负责人：KONDO Michiro
-
依托单位：
Algebraic semantics for logic programs with negation
-
批准号：15500016
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$1.54万
-
财政年份：2003
-
负责人：KONDO Michiro
-
依托单位：