Substructural logic with Galois connection

具有伽罗瓦连接的子结构逻辑

• 批准号: 24500024
• 负责人: KONDO Michiro
• 金额: $ 2.25万
• 依托单位: Tokyo Denki University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2012
• 资助国家: 日本
• 起止时间: 2012-04-01 至 2015-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24500024/
• 关键词: 部分構造論理; 剰余束; 決定可能性; ガロア結合; residauted lattices; Galois connection; 国際情報交換

项目成果

Join Operations on Commutative BCK-Algebras with Condition (S)

带条件 (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

强伽罗瓦联系的一些性质

• 发表时间: 2014
• 作者: 加賀江 優幸;南出 靖彦;藤田憲悦;今井桂子;Zhi-Zhong Chen;近藤通朗;倉田俊彦;Yasuhiko Minamide;篠原 卓，森口 昌樹，今井桂子;近藤通朗;Zhi-Zhong Chen;Ryo Kashima;Yasuhiko Minamide;Zhi-Zhong Chen;Michiro Kondo
• 通讯作者: Michiro Kondo

非可換剰余束の商構造について

关于非交换余数丛的商结构

• 发表时间: 2015
• 作者: 加賀江 優幸;南出 靖彦;藤田憲悦;今井桂子;Zhi-Zhong Chen;近藤通朗
• 通讯作者: 近藤通朗

Characterization of monadic residuated lattices

一元残余晶格的表征

• 发表时间: 2013
• 作者: 上里 友弥;南出 靖彦;Zhi-Zhong Chen;K. Fujita;坂田幸士郎，森口昌樹，今井桂子;M. Kondo
• 通讯作者: M. Kondo

On residuated lattices with universal quantifiers

关于带有全称量词的剩余格

• 发表时间: 2015
• 期刊: The Bulletin of the Iranian Mathematical Society
• 作者: 薩摩順吉;大石進一;杉原正顯;合原一幸;芦野隆一;畔上秀幸;一森哲男;大塚厚二;岡本久;白柳潔;杉原厚吉;杉山将;鈴木貴;関川浩;田辺誠;田端正久;土谷隆;中村憲;奈良高明;成田清正;萩谷昌己;萩原一郎;引原隆士;藤井裕矩;松木平淳太;宮本裕一郎 他;仲川 勇二;Zhi-Zhong Chen;鈴木廉，森口昌樹，今井桂子;Michiro Kondo
• 通讯作者: Michiro Kondo