- 著者
- Nobuyoshi Motohashi
- 雑誌
- Commentarii mathematici Universitatis Sancti Pauli = Rikkyo Daigaku sugaku zasshi
- 巻号頁・発行日
- vol.21, no.2, pp.11-23, 1973-03
言及状況
外部データベース (DOI)
Twitter (2 users, 3 posts, 5 favorites)
「埋め込み」といえば，この論文も興味深いです：Motohashi, Nobuyoshi “A faithful interpretation of intuitionistic predicate logic in classical predicate logic”, Comment. Math. Univ. St. Pauli, XXI-2, pp. 11-23 (1972) https://t.co/0t8YMVlhq8 https://t.co/IOzxiDKx4C
ここに「本橋論文 (1973)」とは，次のものを指します。
N. Motohashi : A faithful interpretation of Intuitionistic predicate logic in Classical predicate logic (1973) https://t.co/CVN7YeT0tJ