Uniformization Problem for Variants of First Order Logic over Finite Words

机译：有限词上一阶逻辑变体的一致化问题

获取原文

页面导航

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

摘要

We study the uniformization problem for natural variants of the first order logic over finite words. We show that none of them has the uniformization property, as witnessed by proposed counterexamples.

机译：我们研究了有限词上一阶逻辑自然变体的统一性问题。正如所提出的反例所证明的那样，我们表明它们均不具有均一性。

著录项

来源
《International conference on developments in language theory》|2018年|516-528|共13页
会议地点
作者
Vincent Michielini;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
First order logic; Two variables logic Successor predicate; Uniformization;

机译：一阶逻辑;两个变量逻辑后继谓词;统一化;

相似文献

外文文献
中文文献
专利

1. Subword complexity of uniform DOL words over finite groups [J] . Ilya Goldstein Theoretical computer science . 2011,第41期

机译：有限群上统一DOL词的子词复杂度
2. THE DECISION PROBLEM FOR SOME LOGICS FOR FINITE WORDS ON INFINITE ALPHABETS [J] . Ch. Choffrut, S. Grigorieff Journal of Mathematical Sciences . 2009,第5期

机译：无限字母上有限词的某些逻辑的决策问题
3. A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS [J] . VOLKER DIEKERT, PAUL GASTIN, MANFRED KUFLEITNER International Journal of Foundations of Computer Science . 2008,第3期

机译：有限词上一阶逻辑小片段调查
4. Uniformization Problem for Variants of First Order Logic over Finite Words [C] . Vincent Michielini International Conference on Developments in Language Theory . 2018

机译：关于有限单词的一阶逻辑变体的均匀化问题
5. Expressiveness and succinctness of first-order logic on finite words. [D] . Weis, Philipp. 2011

机译：有限词的一阶逻辑的表达性和简洁性。
6. Proof theory for locally finite many-valued logics: Semi-projective logics [O] . Agata Ciabattoni, Franco Montagna -1

机译：局部有限多值逻辑的证明理论：半射逻辑
7. Subword complexity of uniform D0L words over finite groups [O] . Goldstein Ilya 2011

机译：有限群上统一D0L词的子词复杂度
8. Fuzzy logic to improve efficiency of finite element and finite difference schemes [R] . Garcia, M. D., Heger, A. S. 1994

机译：模糊逻辑提高有限元效率和有限差分格式

Uniformization Problem for Variants of First Order Logic over Finite Words

摘要

著录项

相似文献

相关主题

期刊订阅