博弈语义 概述Lorenzen和Kuno Lorenz的主要动机是为直觉逻辑找到一种博弈论(他们的术语是“对话式”Dialogische Logik)语义。Blass首先指出在博弈语义和线性逻辑之间的联系。这个路线进一步由Samson Abramsky、Radha……

汇率升值 汇率升值平常，通过媒体，我们经常听到汇率升值或贬值的称法，特别是1997－1998年朱总理的“人民币不贬值”承诺和2003年以来日本、美国持续鼓吹的“人民币升值论”之后，这种叫法更是耳熟能详。把这个提法拆……