Yoshihiro Maruyama

From MaRDI portal
Person:418909

Available identifiers

zbMath Open maruyama.yoshihiroMaRDI QIDQ418909

List of research outcomes





PublicationDate of PublicationType
Duality, intensionality, and contextuality: philosophy of category theory and the categorical unity of science in Samson Abramsky2024-10-01Paper
Fibered universal algebra for first-order logics2023-09-19Paper
Computing with Categories in Machine Learning2023-03-07Paper
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory2022-08-30Paper
Categorical Harmony and Paradoxes in Proof-Theoretic Semantics2022-06-03Paper
A Probabilistic Generative Model of Free Categories2022-05-09Paper
Chu duality theory and coalgebraic representation of quantum symmetries2022-04-13Paper
Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation2021-12-09Paper
Duality theory and categorical universal logic: with emphasis on quantum structures2021-06-29Paper
Topological duality via maximal spectrum functor2020-06-08Paper
Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism2017-03-14Paper
Categorical duality theory: with applications to domains, convexity, and the distribution monad2017-02-02Paper
Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics2013-09-17Paper
From operational Chu duality to coalgebraic quantum symmetry2013-09-13Paper
Natural duality, modality, and coalgebra2012-05-30Paper
Dualities for algebras of Fitting's many-valued modal logics2011-11-22Paper
Fundamental results for pointfree convex geometry2011-08-26Paper
Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory2010-04-26Paper
A Duality for Algebras of Lattice-Valued Modal Logic2009-07-02Paper
Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic2009-02-12Paper

Research outcomes over time

This page was built for person: Yoshihiro Maruyama