Articles with public access mandates - Norihiro KamideLearn more
Not available anywhere: 3
A paraconsistent linear-time temporal logic
N Kamide, H Wansing
Fundamenta Informaticae 106 (1), 1-23, 2011
Mandates: German Research Foundation
Sequent calculi for some trilattice logics
N Kamide, H Wansing
The Review of Symbolic Logic 2 (2), 374-395, 2009
Mandates: German Research Foundation
Intuitionistic trilattice logics
H Wansing, N Kamide
Journal of Logic and Computation 20 (6), 1201-1229, 2010
Mandates: German Research Foundation
Available somewhere: 2
Combining linear-time temporal logic with constructiveness and paraconsistency
N Kamide, H Wansing
Journal of Applied Logic 8 (1), 33-61, 2010
Mandates: German Research Foundation
Symmetric and dual paraconsistent logics
N Kamide, H Wansing
Logic and Logical Philosophy 19 (1-2), 7-30, 2010
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program