トップページ
> 教員個別情報
> 論文 等
静岡大学教員データベース - 教員個別情報 :
鈴木 信行 （SUZUKI Nobu-Yuki）
論文 等
[1]. Extended frames and separations of logical principles
Bulletin of Symbolic Logic 29/3 311-353 （2023年） [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 共著者
[著者] MAKOTO FUJIWARA, HAJIME ISHIHARA, TAKAKO NEMOTO, NOBU-YUKI SUZUKI, KEITA YOKOYAMA [DOI]
[2]. A note on disjunction and existence properties in predicate extensions of intuitionistic logic ---An application of Jankov formulas to predicate logics---
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics} (Outstanding Contributuions to Logic 24) 24/ 221-244 （2022年） [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 責任著者
[著者] Nobu-Yuki Suzuki [DOI]
[3]. 超直観主義述語論理におけるPrenex normal form theorem に関する覚書
京都大学数理解析研究所講究録 2228/ 88-98 （2022年） [査読] 無 [国際共著論文] 該当しない
[責任著者・共著者の別] 責任著者
[著者] 鈴木信行
[4]. A Negative Solution to Ono’s Problem P52: Existence and Disjunction Properties in Intermediate Predicate Logics
Hiroakira Ono on Substructural Logics, Outstanding Contributions to Logic 23/ 319-337 （2022年） [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 責任著者
[著者] Nobu-Yuki Suzuki [DOI]
[5]. 中間述語論理における選言特性と存在特性およびKripke完全性に関する注意
京都大学数理解析研究所講究録 2150/ - （2020年） [査読] 無 [国際共著論文] 該当しない
[責任著者・共著者の別] 責任著者
[著者] 鈴木信行 [URL]
[6]. Small infnitary epistemic logics
Review of Symbolic Logic / 1-35 （2019年） [査読] 有 [国際共著論文] 該当する
[責任著者・共著者の別] 共著者
[著者] T-W. Hu, M. Kaneko, and N.-Y. Suzuki [DOI]
[7]. 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]
[8]. Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory
Economic Theory 53/1 85-110 （2013年） [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 責任著者
[著者] 鈴木 信行
[9]. 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
[10]. A Measure of Logical Inference and its Game Theoretical Applications
LECTURE NOTES IN COMPUTER SCIENCE 6953/ 139-150 （2011年） [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 共著者
[著者] [責任著者]M. Kaneko [共著者]N.-Y. Suzuki
[11]. 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
[12]. Hallden-completeness in super-intuitionistic predicate logics
Studia Logica 73/ 113-130 （2003年） [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 責任著者
[著者] N-Y Suzuki
[13]. Epistemic models of shallow depths and decision making in games: Horticulture
JOURNAL OF SYMBOLIC LOGIC 68/ 163--186 （2003年） [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 共著者
[著者] [責任著者]M. Kaneko [共著者]N.-Y. Suzuki
[14]. Logics of metric spaces
ACM Transactions on Computational Logic (TOCL) 4/ 260--294 （2003年） [査読] 有
[責任著者・共著者の別] 共著者
[著者] [責任著者]O. Kutz [共著者]H. Sturm,N.-Y. Suzuki他2名
[15]. Epistemic Logic of Shallow Depths and Game Theoretical Applications(共著)
Advances in Modal Logic Volume 3 279--298./ （2002年） [査読] 有
[責任著者・共著者の別] 共著者
[著者] [責任著者]M. Kaneko [共著者]N.-Y. Suzuki
[16]. Axiomatizing distance logics
Journal of Applied Non-Classical Logics 12/ 425-439 （2002年） [査読] 有
[責任著者・共著者の別] 共著者
[著者] [責任著者]O. Kutz [共著者]H. Sturm,N.-Y. Suzukiほか2名
[17]. Lattice of fuzzy subalgebras in universal algebra(共著)
Algebra Universalis Vol. 47 223--237/ （2002年） [査読] 有
[責任著者・共著者の別] 共著者
[著者] [責任著者]Takashi Kuraoka [共著者]Nobu-Yuki Suzuki
[18]. Bounded Interpersonal Inferences and Decision Making(共著)
Economic Theory Vol. 19 63-103./ （2002年） [査読] 有
[責任著者・共著者の別] 共著者
[著者] [責任著者]Mamoru Kaneko [共著者]Nobu-Yuki Suzuki
[19]. A map of common knowledge logics(共著)
Studia Logica Vol.71 57-86/ （2002年） [査読] 有
[責任著者・共著者の別] 共著者
[著者] [責任著者]M. Kaneko [共著者]T. Nagashima,N.-Y. Suzuki,Y. Tanaka
[20]. Semi-qualitative Reasoning about distances : A Preliminary Report(共著)
Lecture Notes in Artificial Intelligence 1919/ 37-56 （2000年）
[責任著者・共著者の別]
[21]. A remark on super-intuitionistic predicate logics having the same propositional fragment
Bulletin of the Section of Logic 28/ 107-115 （1999年）
[責任著者・共著者の別]
[22]. Algebraic kripke sheaf semantics for non-classical predicate logics
Studia Logica 63/3 387-416 （1999年）
[責任著者・共著者の別]
[23]. Kripke frame with graded accessibility and fuzzy possible world semantics
Studia Logica 59/ 249-269 （1997年）
[責任著者・共著者の別]
[24]. Optimal fuzzy objects for the set of given data in the case of the group theory(共著)
Information Sciences 92/1-4 197-210 （1996年）
[責任著者・共著者の別]
[25]. 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年）
[責任著者・共著者の別]
[26]. Constructing a continuum of predicate extensions of each intermediate propositional logic
Studia Logica 54/ 173-198 （1995年） [査読] 有 [国際共著論文] 該当しない
[責任著者・共著者の別] 責任著者
[著者] 鈴木 信行
[27]. Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
Studia Logica 52/1 73-94 （1993年）
[責任著者・共著者の別]
[28]. A simple characterization of fuzzy subgroups(共著)
Information Sciences 73/1 41-55 （1993年）
[責任著者・共著者の別]
[29]. Some super-intuitionistic logics as the logical fragments of equational theories(共著)
Bulletin of the Section of Logic 22/3 106-112 （1993年）
[責任著者・共著者の別]
[30]. Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics
Studia Logica 49/3 289-306 （1990年）
[責任著者・共著者の別]
[31]. An extension of One's completeness result
Zeitschr. f. math. Logik und Grundlagen d. Math. 36/4 365-366 （1990年）
[責任著者・共著者の別]
[32]. Some syntactical properties of intermediate predicate logics
Notre Dame Journal of Formal Logic 31/4 548-559 （1990年）
[責任著者・共著者の別]
[33]. An algebraic approarch to intuitionistic modal logics in connection with intermediate predicate logics
Studia Logics 48/2 （1989年）
[責任著者・共著者の別]
[34]. 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年）
[責任著者・共著者の別]
[35]. Relations between intuitionistic modal logics and intermediate predicate logics
Reports on Mathematical Logic /22 65-87 （1988年）
[責任著者・共著者の別]
[36]. The existence of 2ω logics lacking the weakening rule below the intuitionistic logic
Reports on Mathematical Logic /21 85-95 （1987年）
[責任著者・共著者の別]
|