Nobuyoshi Motohashi

第一階古典論理式の決定方法と,非古典命題論理の決定問題へのその応用 

日本数学会欧文誌, 42 1, 1990  

A decision method for a set of first order classical formulas and its application to decision problems for non-classical propositional logics 

Journal of the Mathematical Society of Japan, 42 1, 1990  

共終拡大に関する保存定理と相対化定理 

Journal of the Symbolic Logic, 51 4, 1986  

Preservation theorem and Relativization theorem for Cofinal Extensions 

Journal of the Symbolic Logic, 51 4, 1986  

真概念の数学的定義とモデルの理論 

岩波書店「数学」, 37 4, 1985  

Mathematical definition of "Truth" and theory of models 

Suugaku, 37 4, 1985  

第一階論理式の1つの標準型定理と,ガイフマンの分解定理へのその応用 

Journal of the Symbolic Logic, 49 4, 1984  

等号とリンドンの補間定理 

Journal of the Symbolic Logic, 49 1, 1984  

一意性条件の存在条件による近似理論 

Fundameta Mathematica, 120, 1984  

A normal form theorem for first order formulas and its applications to Gaifman's splitting theorem 

Journal of the Symbolic Logic, 49 4, 1984  

Equality and Lyndon's interpolation theorem 

Journal of the Symbolic Logic, 49 1, 1984  

Approximation theory of Uniqueness conditions by existence conditions 

Fundameta Mathematica, 120, 1984  

一意性条件の消去定理 

Zeitschrift f(]J1168[)r Math Logik und Grandlager der Math., 28 6, 1982  

1つの公理化定理 

日本数学会欧文誌, 34 3, 1982  

Elimination theorems of uniqueness conditions 

Zeitschrift f(]J1168[)r Math Logik und Grandlager der Math., 28 6, 1982  

An axiomatization theorem 

Journal of the Mathematical Society of Japan, 34 3, 1982