×

zbMATH — the first resource for mathematics

Suzuki, Nobu-Yuki

Compute Distance To:
Author ID: suzuki.nobu-yuki Recent zbMATH articles by "Suzuki, Nobu-Yuki"
Published as: Suzuki, N.; Suzuki, Nobu-Yuki
Documents Indexed: 34 Publications since 1987, including 2 Books

Publications by Year

Citations contained in zbMATH

24 Publications have been cited 71 times in 55 Documents Cited by Year
Lattice of fuzzy subalgebras in universal algebra. Zbl 1058.08006
Kuraoka, Takashi; Suzuki, Nobu-Yuki
9
2002
Logics of metric spaces. Zbl 1365.68407
Kutz, Oliver; Wolter, Frank; Sturm, Holger; Suzuki, Nobu-Yuki; Zakharyaschev, Michael
8
2003
Epistemic models of shallow depths and decision making in games: Horticulture. Zbl 1041.03011
Kaneko, Mamoru; Suzuki, Nobu-Yuki
7
2003
Bounded interpersonal inferences and decision making. Zbl 1002.03527
Kaneko, Mamoru; Suzuki, Nobu-Yuki
7
2001
Relations between intuitionistic modal logics and intermediate predicate logics. Zbl 0696.03007
Ono, Hiroakira; Suzuki, Nobu-Yuki
6
1988
Axiomatizing distance logics. Zbl 1185.03034
Kutz, Oliver; Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael
4
2002
Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics. Zbl 0723.03008
Suzuki, Nobu-Yuki
3
1990
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics. Zbl 0696.03008
Suzuki, Nobu-Yuki
3
1989
The de la Vallée Poussin mean and polynomial approximation for exponential weight. Zbl 1334.41006
Itoh, K.; Sakai, R.; Suzuki, N.
2
2015
Halldén-completeness in super-intuitionistic predicate logics. Zbl 1016.03022
Suzuki, Nobu-Yuki
2
2003
A map of common knowledge logics. Zbl 1003.03013
Kaneko, Mamoru; Nagashima, Takashi; Suzuki, Nobu-Yuki; Tanaka, Yoshihito
2
2002
Semi-qualitative reasoning about distances: A preliminary report. Zbl 0998.68157
Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael
2
2000
Algebraic Kripke sheaf semantics for non-classical predicate logics. Zbl 0948.03060
Suzuki, Nobu-Yuki
2
1999
Constructing a continuum of predicate extensions of each intermediate propositional logic. Zbl 0837.03024
Suzuki, Nobu-Yuki
2
1995
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics. Zbl 0772.03009
Suzuki, Nobu-Yuki
2
1993
An extension of Ono’s completeness result. Zbl 0691.03014
Suzuki, Nobu-Yuki
2
1990
Semantics for intuitionistic epistemic logics of shallow depths for game theory. Zbl 1273.91090
Suzuki, Nobu-Yuki
1
2013
Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. Zbl 1062.03008
Balbiani, Philippe (ed.); Suzuki, Nobu-Yuki (ed.); Wolter, Frank (ed.); Zakharyaschev, Michael (ed.)
1
2003
Epistemic logic of shallow depths and game theoretical applications. Zbl 1031.03035
Kaneko, Mamoru; Suzuki, Nobu-Yuki
1
2002
Kripke frame with graded accessibility and fuzzy possible world semantics. Zbl 0882.03016
Suzuki, Nobu-Yuki
1
1997
Some super-intuitionistic logics as the logical fragments of equational theories. Zbl 0799.03026
Shimura, Tatsuya; Suzuki, Nobu-Yuki
1
1993
A simple characterization of fuzzy subgroups. Zbl 0788.20039
Kuraoka, Takashi; Suzuki, Nobu-Yuki
1
1993
Some syntactical properties of intermediate predicate logics. Zbl 0745.03024
Suzuki, Nobu-Yuki
1
1990
Intermediate logics characterized by a class of algebraic frames with infinite individual domain. Zbl 0678.03006
Suzuki, Nobu-Yuki
1
1989
The de la Vallée Poussin mean and polynomial approximation for exponential weight. Zbl 1334.41006
Itoh, K.; Sakai, R.; Suzuki, N.
2
2015
Semantics for intuitionistic epistemic logics of shallow depths for game theory. Zbl 1273.91090
Suzuki, Nobu-Yuki
1
2013
Logics of metric spaces. Zbl 1365.68407
Kutz, Oliver; Wolter, Frank; Sturm, Holger; Suzuki, Nobu-Yuki; Zakharyaschev, Michael
8
2003
Epistemic models of shallow depths and decision making in games: Horticulture. Zbl 1041.03011
Kaneko, Mamoru; Suzuki, Nobu-Yuki
7
2003
Halldén-completeness in super-intuitionistic predicate logics. Zbl 1016.03022
Suzuki, Nobu-Yuki
2
2003
Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. Zbl 1062.03008
Balbiani, Philippe (ed.); Suzuki, Nobu-Yuki (ed.); Wolter, Frank (ed.); Zakharyaschev, Michael (ed.)
1
2003
Lattice of fuzzy subalgebras in universal algebra. Zbl 1058.08006
Kuraoka, Takashi; Suzuki, Nobu-Yuki
9
2002
Axiomatizing distance logics. Zbl 1185.03034
Kutz, Oliver; Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael
4
2002
A map of common knowledge logics. Zbl 1003.03013
Kaneko, Mamoru; Nagashima, Takashi; Suzuki, Nobu-Yuki; Tanaka, Yoshihito
2
2002
Epistemic logic of shallow depths and game theoretical applications. Zbl 1031.03035
Kaneko, Mamoru; Suzuki, Nobu-Yuki
1
2002
Bounded interpersonal inferences and decision making. Zbl 1002.03527
Kaneko, Mamoru; Suzuki, Nobu-Yuki
7
2001
Semi-qualitative reasoning about distances: A preliminary report. Zbl 0998.68157
Sturm, Holger; Suzuki, Nobu-Yuki; Wolter, Frank; Zakharyaschev, Michael
2
2000
Algebraic Kripke sheaf semantics for non-classical predicate logics. Zbl 0948.03060
Suzuki, Nobu-Yuki
2
1999
Kripke frame with graded accessibility and fuzzy possible world semantics. Zbl 0882.03016
Suzuki, Nobu-Yuki
1
1997
Constructing a continuum of predicate extensions of each intermediate propositional logic. Zbl 0837.03024
Suzuki, Nobu-Yuki
2
1995
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics. Zbl 0772.03009
Suzuki, Nobu-Yuki
2
1993
Some super-intuitionistic logics as the logical fragments of equational theories. Zbl 0799.03026
Shimura, Tatsuya; Suzuki, Nobu-Yuki
1
1993
A simple characterization of fuzzy subgroups. Zbl 0788.20039
Kuraoka, Takashi; Suzuki, Nobu-Yuki
1
1993
Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics. Zbl 0723.03008
Suzuki, Nobu-Yuki
3
1990
An extension of Ono’s completeness result. Zbl 0691.03014
Suzuki, Nobu-Yuki
2
1990
Some syntactical properties of intermediate predicate logics. Zbl 0745.03024
Suzuki, Nobu-Yuki
1
1990
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics. Zbl 0696.03008
Suzuki, Nobu-Yuki
3
1989
Intermediate logics characterized by a class of algebraic frames with infinite individual domain. Zbl 0678.03006
Suzuki, Nobu-Yuki
1
1989
Relations between intuitionistic modal logics and intermediate predicate logics. Zbl 0696.03007
Ono, Hiroakira; Suzuki, Nobu-Yuki
6
1988

Citations by Year