Norihiro Kamide
11 artykuły w 2 czasopismach
-
Strong Normalization of Program-Indexed Lambda Calculus Opublikowano w: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 1-2 / s. 65 - 782010CZYSTY TEKST
Norihiro Kamide, Strong Normalization of Program-Indexed Lambda Calculus, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 65 - 78
BIBTEX@Article{ authors = " Norihiro Kamide", title = "Strong Normalization of Program-Indexed Lambda Calculus", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "65 - 78" }
-
Natural deduction systems for some non-commutative logics Opublikowano w: Logic and Logical Philosophy 2007 / Tom 16 / Numer 2-3 / s. 105 - 1462007CZYSTY TEKST
Norihiro Kamide, Motohiko Mouri, Natural deduction systems for some non-commutative logics, Logic and Logical Philosophy, 2007 / Tom 16 / Numer 2-3, s. 105 - 146
BIBTEX@Article{ authors = " Norihiro Kamide, Motohiko Mouri", title = "Natural deduction systems for some non-commutative logics", journal = "Logic and Logical Philosophy", issue = "2007 / Tom 16 / Numer 2-3", pages = "105 - 146" }
-
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 - 1292003CZYSTY TEKST
Norihiro Kamide, A Simplified Semantics for a Fragment of Intuitionistic Linear Logic, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 3, s. 123 - 129
BIBTEX@Article{ authors = " Norihiro Kamide", title = "A Simplified Semantics for a Fragment of Intuitionistic Linear Logic", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 3", pages = "123 - 129" }
-
A Note on Decision Problems for Implicational Sequent Calculi Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 3 / s. 129 - 1382001CZYSTY TEKST
Norihiro Kamide, A Note on Decision Problems for Implicational Sequent Calculi, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 3, s. 129 - 138
BIBTEX@Article{ authors = " Norihiro Kamide", title = "A Note on Decision Problems for Implicational Sequent Calculi", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 3", pages = "129 - 138" }
-
Cut-free Single-succedent Systems Revisited Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 3 / s. 165 - 1752005CZYSTY TEKST
Norihiro Kamide, Cut-free Single-succedent Systems Revisited, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 3, s. 165 - 175
BIBTEX@Article{ authors = " Norihiro Kamide", title = "Cut-free Single-succedent Systems Revisited", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 3", pages = "165 - 175" }
-
Temporalizing Linear Logic Opublikowano w: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 3-4 / s. 173 - 1822007CZYSTY TEKST
Norihiro Kamide, Temporalizing Linear Logic, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 3-4, s. 173 - 182
BIBTEX@Article{ authors = " Norihiro Kamide", title = "Temporalizing Linear Logic", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 3-4", pages = "173 - 182" }
-
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 - 1932006CZYSTY TEKST
Norihiro Kamide, An Equivalence Between Sequent Calculi for Linear-Time Temporal Logic, Bulletin of the Section of Logic, 2006 / Tom 35 / Numer 4, s. 187 - 193
BIBTEX@Article{ authors = " Norihiro Kamide", title = "An Equivalence Between Sequent Calculi for Linear-Time Temporal Logic", journal = "Bulletin of the Section of Logic", issue = "2006 / Tom 35 / Numer 4", pages = "187 - 193" }
-
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 - 2142010CZYSTY TEKST
Norihiro Kamide, An Embedding-Based Completeness Proof for Nelson's Paraconsistent Logic, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 3-4, s. 205 - 214
BIBTEX@Article{ authors = " Norihiro Kamide", title = "An Embedding-Based Completeness Proof for Nelson's Paraconsistent Logic", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 3-4", pages = "205 - 214" }
-
A Cut-free System for 16-Valued Reasoning Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 4 / s. 213 - 2252005CZYSTY TEKST
Norihiro Kamide, A Cut-free System for 16-Valued Reasoning, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 4, s. 213 - 225
BIBTEX@Article{ authors = " Norihiro Kamide", title = "A Cut-free System for 16-Valued Reasoning", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 4", pages = "213 - 225" }
-
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 - 2492004CZYSTY TEKST
Norihiro Kamide, A Relationship Between Rauszer's H-B Logic and Nelson's Logic, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 4, s. 237 - 249
BIBTEX@Article{ authors = " Norihiro Kamide", title = "A Relationship Between Rauszer's H-B Logic and Nelson's Logic", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 4", pages = "237 - 249" }
-
Extended full computation-tree logics for paraconsistent model checking Opublikowano w: Logic and Logical Philosophy 2006 / Tom 15 / Numer 3 / s. 251 - 2762006CZYSTY TEKST
Norihiro Kamide, Extended full computation-tree logics for paraconsistent model checking, Logic and Logical Philosophy, 2006 / Tom 15 / Numer 3, s. 251 - 276
BIBTEX@Article{ authors = " Norihiro Kamide", title = "Extended full computation-tree logics for paraconsistent model checking", journal = "Logic and Logical Philosophy", issue = "2006 / Tom 15 / Numer 3", pages = "251 - 276" }