scientific article; zbMATH DE number 7364185

zbMath1469.03176arXiv1412.8526MaRDI QIDQ4997273

Yoshihiro Maruyama

Publication date: 29 June 2021

Full work available at URL: https://arxiv.org/abs/1412.8526

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Related Items

Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory ⋮ Fibered universal algebra for first-order logics ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION