机译:高级规则的演算,命题量化和证明理论和谐的基础方法
Proof-theoretic semantics; Assumptions; Higher-level rules; Propositional quantification; Harmony.;
机译:高级规则的演算,命题量化和证明理论和谐的基础方法
机译:在定量命题演算中模拟非前切割
机译:检查定量命题演算的片段
机译:定量命题较戈尔勋章的分析微积分
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:对音调和声基础的神经生理学研究
机译:双直觉命题序列阶段的证明理论研究
机译:命题演算声明转换为整数和混合整数规划:一种自动重构的方法。