Nobu-Yuki Suzuki

Available identifiers

zbMath Open suzuki.nobu-yukiMaRDI QIDQ757341

List of research outcomes

Publication	Date of Publication	Type
A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics	2024-03-25	Paper
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES	2023-10-13	Paper
A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics	2023-04-05	Paper
SMALL INFINITARY EPISTEMIC LOGICS	2020-02-20	Paper
Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics	2018-03-21	Paper
Logics of metric spaces	2017-06-13	Paper
Semantics for intuitionistic epistemic logics of shallow depths for game theory	2013-06-26	Paper
A Measure of Logical Inference and Its Game Theoretical Applications	2011-10-19	Paper
Axiomatizing Distance Logics	2009-11-30	Paper
Lattice of fuzzy subalgebras in universal algebra.	2005-04-19	Paper
Epistemic models of shallow depths and decision making in games: Horticulture	2004-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4430404	2003-10-09	Paper
Halldén-completeness in super-intuitionistic predicate logics	2003-04-27	Paper
A map of common knowledge logics	2002-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4536315	2002-06-25	Paper
Bounded interpersonal inferences and decision making	2002-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q4489075	2001-01-11	Paper
Algebraic Kripke sheaf semantics for non-classical predicate logics	2000-11-14	Paper
https://portal.mardi4nfdi.de/entity/Q4704067	1999-12-02	Paper
Kripke frame with graded accessibility and fuzzy possible world semantics	1998-03-12	Paper
Optimal fuzzy objects for the set of given data in the case of the group theory	1998-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q4887107	1997-03-11	Paper
Constructing a continuum of predicate extensions of each intermediate propositional logic	1996-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q4287341	1994-11-24	Paper
A simple characterization of fuzzy subgroups	1994-01-13	Paper
Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics	1993-05-16	Paper
Some syntactical properties of intermediate predicate logics	1992-06-25	Paper
Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics	1990-01-01	Paper
An extension of ono's completeness result	1990-01-01	Paper
An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3834035	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3472079	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3812201	1987-01-01	Paper

Research outcomes over time

This page was built for person: Nobu-Yuki Suzuki