荒金 憲一

Seguential formulations for orthomodular lattices 

Research reports of Nara National COllege of Technology (38) 87-96 2002年  

Seguential formulations for orthomodular lattices 

Research reports of Nara National COllege of Technology (38) 87-96 2002年  

弱半束の決定問題とシーケントによる形式化 

奈良工業高等専門学校研究紀要 (36) 111-116 2000年  

The decision problem and sequential formulations for weak semilattices 

Research reports of Nara National College of Technology (36) 111-116 2000年  

半束の弱い形について 

奈良工業高等専門学校研究紀要 (35) 105-110 1999年  

On a weak form of semilattices 

Research reports of Nara National College of Technology (35) 105-110 1999年  

ファジイ代数の決定問題(]G0002[) 

奈良工業高等専門学校研究紀要 (34) 123-133 1998年  

The decision problem for fuzzy algebras (]G0002[) 

Research reports of Nara National College of Technology (34) 123-133 1998年  

MS代数とストーン代数のシーケントによる形式化 

奈良工業高等専門学校研究紀要 (33) 119-127 1997年  

クリプケモデルによるファジイ代数の完全性について 

奈良工業高等専門学校研究紀要 (32) 71-78 1996年  

On the completeness with Kripke frames for fuzzy algebras 

Research reports of Nara National College of Technology (32) 71-78 1996年  

ファジイ代数に関連する代数系について 

奈良工業高等専門学校研究紀要 (31) 81-89 1995年  

ファジィ代数の決定問題 

奈良工業高等専門学校研究紀要 (30) 115-123 1994年  

t-ノルム代数の決定問題 

大阪産業大学論集自然科学編 92,23-26 1993年  

t-ノルム代数のシーケントによる形式化 

大阪産業大学論集自然科学編 92,19-22 1993年  

A decision problem for t-norm algebras 

Journal of Osaka Sangyo University, Natural Sciences 92,23-26 1993年  

A sequential formulation for t-norm algebras 

Journal of Osaka Sangyo University, Natural Sciences 92,19-22 1993年