Herbrand Theorems and Skolemization for Prenex Fuzzy Logics

机译：Prenex模糊逻辑的Herbrand定理和Skolemization

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Approximate Herbrand theorems are established for first-order fuzzy logics based on continuous t-norms, and used to provide proof-theoretic proofs of Skolemization for their Prenex fragments. Decidability and complexity results for particular fragments are obtained as consequences.

机译：针对基于连续t范数的一阶模糊逻辑建立了近似Herbrand定理，并用于为其Prenex片段提供Skolemization的证明理论证明。获得特定片段的可判定性和复杂性结果作为结果。

著录项

来源
《Logic and Theory of Algorithms》|2008年|P.22-31|共10页
会议地点 Athens(GR);Athens(GR)
作者
Matthias Baaz; George Metcalfe;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
herbrand theorem; skolemization; fuzzy logics;

机译：Herbrand定理； Skolemization；模糊逻辑;

相似文献

外文文献
中文文献
专利

1. Skolemization and Herbrand theorems for lattice-valued logics [J] . Cintula Petr, Diaconescu Denisa, Metcalfe George Theoretical computer science . 2019,第期

机译：格子值逻辑的SkoLemization和Herbrand定理
2. Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic [J] . MATTHIAS BAAZ, GEORGE METCALFE Journal of logic and computation . 2010,第1期

机译：用于一阶Lukasiewicz逻辑的Herbrand定理，Skolemization和证明系统
3. The Skolemization of prenex formulas in intermediate logics [J] . Iemhoff Rosalie Indagationes Mathematicae . 2019,第3期

机译：中间逻辑PRENEX公式的Skolemization
4. Herbrand Theorems and Skolemization for Prenex Fuzzy Logics [C] . Matthias Baaz, George Metcalfe Conference on Computability in Europe . 2008

机译：Prenex模糊逻辑的Herbrand定理和Skolemization
5. Effective completeness theorems for modal logics. [D] . Ganguli, Suman. 2001

机译：模态逻辑的有效完整性定理。
6. L-Fuzzy Fixed Points Theorems for L-Fuzzy Mappings via βℱL-Admissible Pair [O] . Maliha Rashid, Akbar Azam, Nayyar Mehmood -1

机译：基于β的L-模糊映射的L-模糊不动点定理ℱL-可接纳对
7. Herbrand Theorems and Skolemization for Prenex Fuzzy Logics [O] . Matthias Baaz, George Metcalfe 2008

机译：Prenex模糊逻辑的Herbrand定理和Skolemization
8. Herbrand Interpretations in Modal Logics [R] . Sommerhalder, R., van Westrhenen, S. C. 1994

机译：模态逻辑中的Herbrand解释

Herbrand Theorems and Skolemization for Prenex Fuzzy Logics

摘要

著录项

相似文献

相关主题

期刊订阅