本橋 信義

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

日本数学会欧文誌 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年