オープン アクセスを義務付けられた論文 - Norihiro Kamide詳細
一般には非公開: 3 件
A paraconsistent linear-time temporal logic
N Kamide, H Wansing
Fundamenta Informaticae 106 (1), 1-23, 2011
委任: German Research Foundation
Sequent calculi for some trilattice logics
N Kamide, H Wansing
The Review of Symbolic Logic 2 (2), 374-395, 2009
委任: German Research Foundation
Intuitionistic trilattice logics
H Wansing, N Kamide
Journal of Logic and Computation 20 (6), 1201-1229, 2010
委任: German Research Foundation
一般公開: 2 件
Combining linear-time temporal logic with constructiveness and paraconsistency
N Kamide, H Wansing
Journal of Applied Logic 8 (1), 33-61, 2010
委任: German Research Foundation
Symmetric and dual paraconsistent logics
N Kamide, H Wansing
Logic and Logical Philosophy 19 (1-2), 7-30, 2010
委任: German Research Foundation
公開と助成金に関する情報は、コンピュータ プログラムによって自動的に決定されます