The following pages link to Yoshihiro Maruyama (Q418909):
Displayed 19 items.
- Natural duality, modality, and coalgebra (Q418910) (← links)
- Prior's tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism (Q516400) (← links)
- Fundamental results for pointfree convex geometry (Q636383) (← links)
- Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory (Q965912) (← links)
- Chu duality theory and coalgebraic representation of quantum symmetries (Q2125156) (← links)
- From Operational Chu Duality to Coalgebraic Quantum Symmetry (Q2848951) (← links)
- Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics (Q2849433) (← links)
- Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad (Q2958541) (← links)
- Dualities for Algebras of Fitting's Many-Valued Modal Logics (Q3100168) (← links)
- Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic (Q3601808) (← links)
- A Duality for Algebras of Lattice-Valued Modal Logic (Q3638290) (← links)
- (Q4997273) (← links)
- FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION (Q5015729) (← links)
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721) (← links)
- Topological duality via maximal spectrum functor (Q5112780) (← links)
- Categorical Harmony and Paradoxes in Proof-Theoretic Semantics (Q5864199) (← links)
- Fibered universal algebra for first-order logics (Q6051097) (← links)
- A Probabilistic Generative Model of Free Categories (Q6398688) (← links)
- Computing with Categories in Machine Learning (Q6428735) (← links)