نتایج جستجو برای: representation theorems

تعداد نتایج: 268553  

Journal: :Journal of the Korean Mathematical Society 2013

Journal: :Proceedings of the American Mathematical Society 1973

Journal: :Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics 1982

Journal: :Colloquium Mathematicum 1968

Journal: :Journal of Computer and System Sciences 1983

Journal: :Theoretical Computer Science 1982

Journal: :Topology and its Applications 2013

Journal: :Journal of Mathematical Analysis and Applications 2015

Journal: :Math. Log. Q. 1994
Silvio Valentini

In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for (non-commutative) Linear Logic using relations. 1991 Mathematics Subject Classificati...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید