...
机译:隐含(半线性)逻辑II:半线性的附加连接和表征
Abstract algebraic logic; Implicational logics; Disjunctional logics; Semilinear logics; Non-classical logics; Transfer theorems;
机译:隐含(半线性)逻辑II:半线性的附加连接和表征
机译:隐含(半线性)逻辑I:新层次
机译:隐含(半线性)逻辑I:新层次
机译:模糊逻辑的抽象方法:含义半线性逻辑
机译:半线性算子方程解的鞍点表征。
机译:半线性泊松方程解的唯一性
机译:矢量空间半线性同态的三维几何特征及规范空间的半线性同胚