马克西莫娃，L.L。 等式超直觉谓词逻辑中的插值。 （英语。俄文原件） Zbl 0969.03044号 代数逻辑卡 36，第5期，543-561（1997）; 代数逻辑翻译36，第5期，319-329（1997）。 摘要：证明了在通过标准等式公理从超直觉谓词逻辑扩展到它的过程中，以及在添加纯等式公式作为新公理的情况下，Craig插值性质和Beth性质保持不变。我们发现一组无限独立的公式，它们虽然不等价于纯等式，但也可以作为新的公理方案添加，而不会丢失插值或Beth属性。这些公式用于构造一个等式逻辑连续统，它介于直觉逻辑和经典逻辑之间，具有插值性质。此外，所构造逻辑的一个无等式片断是直觉谓词逻辑，纯等式的公式满足经典谓词逻辑的所有公理。 引用于1文件 MSC公司： 03B55号 中间逻辑 03C40号 插值、保存、可定义性 关键词：超学费逻辑；克雷格插值特性；Beth财产；无等量碎片 PDF格式BibTeX公司 XML格式引用 \textit{L.L.Maksimova}，《代数逻辑学》36，第5期，第1页（1997；Zbl 0969.03044）；代数逻辑翻译36，第5期，319--329（1997） 全文： 欧洲DML