著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) 竹村 康 and 荒金 憲一,t-ノルム代数のシーケントによる形式化,大阪産業大学論集. 自然科学編 = Journal of Osaka Sangyo University. Natural sciences,02871394,大東 : 大阪産業大学学会,1993-03,,92,p19-22,https://cir.nii.ac.jp/crid/1520853835106373120,