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
https://portal.mardi4nfdi.de/entity/Q49972732021-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