Norihiro Kamide
11 artykuły w 2 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Strong Normalization of Program-Indexed Lambda Calculus Opublikowano w: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 1-2 / s. 65 - 78ROK: 2010CZYSTY TEKSTBIBTEX
-
Natural deduction systems for some non-commutative logics Opublikowano w: Logic and Logical Philosophy 2007 / Tom 16 / Numer 2-3 / s. 105 - 146ROK: 2007CZYSTY TEKSTBIBTEX
-
A Simplified Semantics for a Fragment of Intuitionistic Linear Logic Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 3 / s. 123 - 129ROK: 2003CZYSTY TEKSTBIBTEX
-
A Note on Decision Problems for Implicational Sequent Calculi Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 3 / s. 129 - 138ROK: 2001CZYSTY TEKSTBIBTEX
-
Cut-free Single-succedent Systems Revisited Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 3 / s. 165 - 175ROK: 2005CZYSTY TEKSTBIBTEX
-
Temporalizing Linear Logic Opublikowano w: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 3-4 / s. 173 - 182ROK: 2007CZYSTY TEKSTBIBTEX
-
An Equivalence Between Sequent Calculi for Linear-Time Temporal Logic Opublikowano w: Bulletin of the Section of Logic 2006 / Tom 35 / Numer 4 / s. 187 - 193ROK: 2006CZYSTY TEKSTBIBTEX
-
An Embedding-Based Completeness Proof for Nelson's Paraconsistent Logic Opublikowano w: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 3-4 / s. 205 - 214ROK: 2010CZYSTY TEKSTBIBTEX
-
A Cut-free System for 16-Valued Reasoning Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 4 / s. 213 - 225ROK: 2005CZYSTY TEKSTBIBTEX
-
A Relationship Between Rauszer's H-B Logic and Nelson's Logic Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 4 / s. 237 - 249ROK: 2004CZYSTY TEKSTBIBTEX
-
Extended full computation-tree logics for paraconsistent model checking Opublikowano w: Logic and Logical Philosophy 2006 / Tom 15 / Numer 3 / s. 251 - 276ROK: 2006CZYSTY TEKSTBIBTEX
