文献
J-GLOBAL ID:202202269002384428
整理番号:22A0966514
自然演えきの自然性(II):原子多形と一般化命題結合について【JST・京大機械翻訳】
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives
著者 (3件):
Pistone Paolo
(Dipartimento di Informatica-Scienza e Ingegneria, Universita di Bologna, Bologna, Italy)
,
Tranchini Luca
(Wilhelm-Schickard-Institut, Universitaet Tuebingen, Tuebingen, Germany)
,
Petrolo Mattia
(Centro de Ciencias Naturais e Humanas, Universidade Federal do ABC, Sao Bernardo do Campo, Brazil)
資料名:
Studia Logica
(Studia Logica)
巻:
110
号:
2
ページ:
545-592
発行年:
2022年
JST資料番号:
W4974A
ISSN:
0039-3215
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)