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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nobu-Yuki Suzuki