中间逻辑中的EPSILON定理

@第{Baaz2019EPSILONTI条，title={中间逻辑中的EPSILON定理}，author={Matthias Baaz和Richard Zach}，journal={符号逻辑杂志}，年份={2019}，体积={87}，页数={682-720}，网址={https://api.semanticscholar.org/CorpusID:244773749}}
摘要任何中间命题逻辑（即包含直觉逻辑并包含在经典逻辑中的逻辑）都可以扩展到具有ε-和τ算子以及关键公式的微积分。对于经典逻辑，这导致了希尔伯特$\varepsilon美元$-微积分。第一和第二$\varepsilon美元$-经典逻辑定理建立了系统的保守性$\varepsilon美元$-经典基本逻辑上的微积分。众所周知，第二个$\varepsilon
剑桥出版社观点
[PDF]语义阅读器
1引文

询问这篇论文
贝塔
AI供电

我们的系统试图限制本文中找到的信息。结果质量可能有所不同。了解更多信息关于我们如何产生这些答案。

一篇引文

Herbrand复杂性与等式epsilon演算

希尔伯特的$$varepsilon$$ε-演算的$$\varepsillon$$ε-消元法产生了计算扩展公式的Herbrand析取的最新最直接的算法。A类…

33参考文献

存在假设与逻辑原则：直觉逻辑中的选择算子

希尔伯特的选择算子τ和e，当添加到直觉主义逻辑中时，加强了直觉主义逻辑。在某些外延公理的存在下，它们产生了经典逻辑，而在较弱的公理存在下…

论Herbrand构造逻辑的自然演绎Ⅰ：Dummett逻辑LC的Curry-Howard对应

这项工作为lambda演算添加了一个操作符，从编程的角度来看，该操作符代表了一种表示并行计算和它们之间通信的机制，从逻辑的角度来看是Dummett公理。

Epsilon演算与Herbrand复杂性

本文研究了ε定理及其证明的消去过程的复杂性，以及通过该消去过程获得的存在定理的Herbrand析取的长度。

直觉主义和计算论

这些计算的第一个完整和合理的语义都是在“准外延”版本中提出的，该版本使用选择函数直接解释ϵ或τ项，并且形式不需要外延假设。

中间逻辑中prenex公式的Skolemization

带ε符号的直觉谓词演算

谓词演算与-前原诚司[5]中使用的符号不完全包含-通常意义上的术语。在本文中，我们用-包含所有…

基于序列演算的扩展第一Epsilon定理公式

本文将epsilon证明和后续微积分推导与割和扩展的第一个epsilon定理的计算改进版本联系起来，该定理允许非元素加速Herbrand析取的计算。

LJ的prenex公式的Herbrand定理

    K.鲍文
    数学
    圣母院J.正式日志。
  • 1976
对于以prenex范式表示的直觉谓词演算公式，有一个非常简单的经典演算的Herbrand定理的类似物。*设a是这样一个公式…

非经典逻辑中的量化

这本书是非经典一阶量化、模态和超直觉逻辑的第一本详细专著，它专注于描述不同的声音语义和完备性问题。

紧命题哥德尔逻辑

证明了无穷值Godel逻辑有丰富的结构，其中只有一个是紧的，紧无穷值Gotel逻辑是唯一的插值逻辑，也是唯一具有r.e.蕴涵关系的逻辑。