Showing 1–20 of 21 results
/ Date/ Name
Mar 9, 2024Voiculescu's Theorem in Properly Infinite FactorsSep 18, 2025Ortho-isomorphisms of von Neumann algebrasMar 13, 2014The Computational Compexity of Decision Problem in Additive Extensions of Nonassociative Lambek CalculusFeb 24, 2014Residuated Basic Logic IFeb 24, 2014Residuated Basic Logic II. Interpolation, Decidability and EmbeddingDec 3, 2025Irreducible operators in von Neumann algebrasFeb 26, 2018The Finite Model Property of Quasi-transitive Modal LogicNov 16, 2016Sequent Calculi for Semi-De Morgan and De Morgan AlgebrasJul 30, 2025Free semigroupoid algebras and the first cohomology groupsApr 24, 2025Density of irreducible operators in the trace-class normApr 23, 2026The similarity of irreducible operators in factorsJul 20, 2024Hochschild cohomology for free semigroup algebrasMar 27, 2016Unified Correspondence as a Proof-Theoretic ToolApr 18, 2025On cleanness of AW*-algebrasNov 10, 2021On arithmetic properties of Cantor setsMar 7, 2017Graphical Sequent Calculi for Modal LogicsApr 29, 2016Unified Correspondence and Proof Theory for Strict ImplicationMay 7, 2024Research on signalized intersection mixed traffic flow platoon control method considering Backward-looking effectFeb 1, 2026Operators with disconnected spectrum in von Neumann algebrasFeb 19, 2023Semiclassical analysis, geometric representation and quantum ergodicity