The following pages link to Nobu-Yuki Suzuki (Q757341):
Displaying 17 items.
- Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics (Q757342) (← links)
- An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics (Q910395) (← links)
- Some syntactical properties of intermediate predicate logics (Q1174672) (← links)
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)
- A simple characterization of fuzzy subgroups (Q1310931) (← links)
- Bounded interpersonal inferences and decision making (Q1349274) (← links)
- Kripke frame with graded accessibility and fuzzy possible world semantics (Q1372361) (← links)
- Optimal fuzzy objects for the set of given data in the case of the group theory (Q1373386) (← links)
- A map of common knowledge logics (Q1611251) (← links)
- Lattice of fuzzy subalgebras in universal algebra. (Q1771915) (← links)
- Halldén-completeness in super-intuitionistic predicate logics (Q1868242) (← links)
- Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930) (← links)
- Algebraic Kripke sheaf semantics for non-classical predicate logics (Q1970921) (← links)
- Semantics for intuitionistic epistemic logics of shallow depths for game theory (Q2376985) (← links)
- An extension of ono's completeness result (Q3032233) (← links)
- A Measure of Logical Inference and Its Game Theoretical Applications (Q3094002) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)
