On Domain Theory over Girard Quantales
From MaRDI portal
Publication:3635997
DOI10.3233/FI-2009-0071zbMath1193.06006OpenAlexW1819103856MaRDI QIDQ3635997
Publication date: 30 June 2009
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2009-0071
generalized way-below relationcommutative linear logicgeneralized continuous domainsrounded ideal completion
Continuous lattices and posets, applications (06B35) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Quantales (06F07)
Related Items (14)
A duality between \(\Omega\)-categories and algebraic \(\Omega\)-categories ⋮ Formal balls of Q-categories ⋮ Quasi-continuous Yoneda complete quasi-metric space ⋮ Fuzzy bases of fuzzy domains ⋮ Yoneda completeness and flat completeness of ordered fuzzy sets ⋮ Approaching metric domains ⋮ Reflectors to quantales ⋮ A duality of generalized metric spaces ⋮ Convergence and quantale-enriched categories ⋮ Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets ⋮ On the quantale of quantic nuclei ⋮ Closedness of the category of liminf complete fuzzy orders ⋮ Fuzzy \(Z\)-continuous posets ⋮ Two Cartesian closed subcategories of fuzzy domains
This page was built for publication: On Domain Theory over Girard Quantales
