氏名(Name)
キーワード(Keyword)

トップページ  > 教員個別情報  > 論文 等

静岡大学教員データベース - 教員個別情報 : 鈴木 信行 (SUZUKI Nobu-Yuki)

論文 等

【論文 等】
[1]. Small infnitary epistemic logics
Review of Symbolic Logic / 1-35 (2019年) [査読] 有 [国際共著論文] 該当する
[責任著者・共著者の別] 共著者
[著者] T-W. Hu, M. Kaneko, and N.-Y. Suzuki [DOI]
[2]. Some weak variants of the existence and disjunction properties in intermediate predicate logics
Bulletin of the Section of Logic 46/1-2 93-109 (2017年) [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 責任著者
[著者] 鈴木 信行 [URL]
[3]. Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory
Economic Theory 53/1 85-110 (2013年) [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 責任著者
[著者] 鈴木 信行
[4]. The Occurrence of pi Molecular Orbitals in Planar Boron Clusters
BULLETIN OF THE CHEMICAL SOCIETY OF JAPAN 85/4 475-480 (2012年) [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 共著者
[著者] [責任著者]Y. Nakagami [共著者]N.-Y. Suzuki,R. Sekine,T. Matsuura,J. Aihara
[5]. A Measure of Logical Inference and its Game Theoretical Applications
LECTURE NOTES IN COMPUTER SCIENCE 6953/ 139-150 (2011年) [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 共著者
[著者] [責任著者]M. Kaneko [共著者]N.-Y. Suzuki
[6]. Kripke-type semantics for intuitionistic epistemic logics of shallow depths for game theory,
Proceedings of the Sixth International Workshop of Logic and Engineering of Natural Language Semantics (LENLS) / 201-220 (2009年) [査読] 有
[責任著者・共著者の別] 責任著者
[著者] N.-Y. Suzuki
[7]. Hallden-completeness in super-intuitionistic predicate logics
Studia Logica 73/ 113-130 (2003年) [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 責任著者
[著者] N-Y Suzuki
[8]. Epistemic models of shallow depths and decision making in games: Horticulture
JOURNAL OF SYMBOLIC LOGIC 68/ 163--186 (2003年) [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 共著者
[著者] [責任著者]M. Kaneko [共著者]N.-Y. Suzuki
[9]. Logics of metric spaces
ACM Transactions on Computational Logic (TOCL) 4/ 260--294 (2003年) [査読] 有
[責任著者・共著者の別] 共著者
[著者] [責任著者]O. Kutz [共著者]H. Sturm,N.-Y. Suzuki他2名
[10]. Epistemic Logic of Shallow Depths and Game Theoretical Applications(共著)
Advances in Modal Logic Volume 3 279--298./ (2002年) [査読] 有
[責任著者・共著者の別] 共著者
[著者] [責任著者]M. Kaneko [共著者]N.-Y. Suzuki
[11]. Axiomatizing distance logics
Journal of Applied Non-Classical Logics 12/ 425-439 (2002年) [査読] 有
[責任著者・共著者の別] 共著者
[著者] [責任著者]O. Kutz [共著者]H. Sturm,N.-Y. Suzukiほか2名
[12]. Lattice of fuzzy subalgebras in universal algebra(共著)
Algebra Universalis Vol. 47 223--237/ (2002年) [査読] 有
[責任著者・共著者の別] 共著者
[著者] [責任著者]Takashi Kuraoka [共著者]Nobu-Yuki Suzuki
[13]. Bounded Interpersonal Inferences and Decision Making(共著)
Economic Theory Vol. 19 63-103./ (2002年) [査読] 有
[責任著者・共著者の別] 共著者
[著者] [責任著者]Mamoru Kaneko [共著者]Nobu-Yuki Suzuki
[14]. A map of common knowledge logics(共著)
Studia Logica Vol.71 57-86/ (2002年) [査読] 有
[責任著者・共著者の別] 共著者
[著者] [責任著者]M. Kaneko [共著者]T. Nagashima,N.-Y. Suzuki,Y. Tanaka
[15]. Semi-qualitative Reasoning about distances : A Preliminary Report(共著)
Lecture Notes in Artificial Intelligence 1919/ 37-56 (2000年)
[責任著者・共著者の別]
[16]. A remark on super-intuitionistic predicate logics having the same propositional fragment
Bulletin of the Section of Logic 28/ 107-115 (1999年)
[責任著者・共著者の別]
[17]. Algebraic kripke sheaf semantics for non-classical predicate logics
Studia Logica 63/3 387-416 (1999年)
[責任著者・共著者の別]
[18]. Kripke frame with graded accessibility and fuzzy possible world semantics
Studia Logica 59/ 249-269 (1997年)
[責任著者・共著者の別]
[19]. Optimal fuzzy objects for the set of given data in the case of the group theory(共著)
Information Sciences 92/1-4 197-210 (1996年)
[責任著者・共著者の別]
[20]. A remark on the delta operation and the Kripke sheaf semontics in super-intuitionistie predicate logics
Bulletin of the Section of Logic 25/1 21-28 (1996年)
[責任著者・共著者の別]
[21]. Constructing a continuum of predicate extensions of each intermediate propositional logic
Studia Logica 54/ 173-198 (1995年) [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 責任著者
[著者] 鈴木 信行
[22]. Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
Studia Logica 52/1 73-94 (1993年)
[責任著者・共著者の別]
[23]. A simple characterization of fuzzy subgroups(共著)
Information Sciences 73/1 41-55 (1993年)
[責任著者・共著者の別]
[24]. Some super-intuitionistic logics as the logical fragments of equational theories(共著)
Bulletin of the Section of Logic 22/3 106-112 (1993年)
[責任著者・共著者の別]
[25]. Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
Studia Logica 49/3 289-306 (1990年)
[責任著者・共著者の別]
[26]. An extension of One's completeness result
Zeitschr. f. math. Logik und Grundlagen d. Math. 36/4 365-366 (1990年)
[責任著者・共著者の別]
[27]. Some syntactical properties of intermediate predicate logics
Notre Dame Journal of Formal Logic 31/4 548-559 (1990年)
[責任著者・共著者の別]
[28]. An algebraic approarch to intuitionistic modal logics in connection with intermediate predicate logics
Studia Logics 48/2 (1989年)
[責任著者・共著者の別]
[29]. Intermediate logics characterized by a class of algebraic frames with infinite individual domain
Bulletin of Section of Logic, Polish Academy of Sciences 18/2 63-71 (1989年)
[責任著者・共著者の別]
[30]. Relations between intuitionistic modal logics and intermediate predicate logics
Reports on Mathematical Logic /22 65-87 (1988年)
[責任著者・共著者の別]
[31]. The existence of 2ω logics lacking the weakening rule below the intuitionistic logic
Reports on Mathematical Logic /21 85-95 (1987年)
[責任著者・共著者の別]