Mathematical Logic Laboratory
(1) Nobu -Yuki SUZUKI

[Dr.Sci., Associate Professor ]
(2) Research Subjects

[ 1 ] Non-Classical Logics (Super-Intuitionistic, Modal, etc.) and their application  
[ 2 ] Semantics of Non-Classical Predicate Logics
[ 3 ] Epistemic-Logical Analysis of Game Theoretical Problems
[ 4 ] Fuzzy algebraic systems, fuzzy universal algebra
(3) List of Selected Recent Publications

[ 1 ] Nobu -Yuki Suzuki, Constructing a continuum of predicate extensions of each intermediate propositional logic, Studia Logica 54 (1995), 173--198.
[ 2 ] Nobu -Yuki Suzuki, Algebraic Kripke sheaf semantics for non-classical predicate logics, Studia Logica 63 (1999), 387--416.
[ 3 ] Mamoru Kaneko and Nobu -Yuki Suzuki, Epistemic Logic of Shallow Depths and Game Theoretical Applications, to appear in Advances in Modal Logic, Volume 3.
[ 4 ] Takashi Kuraoka and Nobu -Yuki Suzuki, Lattice of fuzzy subalgebras in universal algebra, to appear in Algebra Universalis
[ 5 ] Nobu -Yuki Suzuki, Hallden-completeness in super-intuitionistic predicate logics, to appear in Studia Logica

| CLOSE |