Yoshihiro Maruyama

Available identifiers

zbMath Open maruyama.yoshihiroMaRDI QIDQ418909

List of research outcomes

Publication	Date of Publication	Type
Fibered universal algebra for first-order logics	2023-09-19	Paper
Computing with Categories in Machine Learning	2023-03-07	Paper
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory	2022-08-30	Paper
Categorical Harmony and Paradoxes in Proof-Theoretic Semantics	2022-06-03	Paper
A Probabilistic Generative Model of Free Categories	2022-05-09	Paper
Chu duality theory and coalgebraic representation of quantum symmetries	2022-04-13	Paper
FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION	2021-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4997273	2021-06-29	Paper
Topological duality via maximal spectrum functor	2020-06-08	Paper
Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism	2017-03-14	Paper
Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad	2017-02-02	Paper
Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics	2013-09-17	Paper
From Operational Chu Duality to Coalgebraic Quantum Symmetry	2013-09-13	Paper
Natural duality, modality, and coalgebra	2012-05-30	Paper
Dualities for Algebras of Fitting's Many-Valued Modal Logics	2011-11-22	Paper
Fundamental results for pointfree convex geometry	2011-08-26	Paper
Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory	2010-04-26	Paper
A Duality for Algebras of Lattice-Valued Modal Logic	2009-07-02	Paper
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic	2009-02-12	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: Yoshihiro Maruyama