One-Dimensional Logic over Words
نویسنده
چکیده
One-dimensional fragment of first-order logic is obtained by restricting quantification to blocks of existential quantifiers that leave at most one variable free. We investigate one-dimensional fragment over words and over ω-words. We show that it is expressively equivalent to the twovariable fragment of first-order logic. We also show that its satisfiability problem is NExpTimecomplete. Further, we show undecidability of some extensions, whose two-variable counterparts remain decidable. 1998 ACM Subject Classification F.4 Mathematical Logic and Formal Languages
منابع مشابه
One-Dimensional Logic over Trees
A one-dimensional fragment of first-order logic is obtained by restricting quantification to blocks of existential quantifiers that leave at most one variable free. This fragment contains two-variable logic, and it is known that over words both formalisms have the same complexity and expressive power. Here we investigate the one-dimensional fragment over trees. We consider unranked unordered tr...
متن کاملDegree of Optimality as a Measure of Distance of Power System Operation from Optimal Operation
This paper presents an algorithm based on inter-solutions of having scheduled electricity generation resources and the fuzzy logic as a sublimation tool of outcomes obtained from the schedule inter-solutions. The goal of the algorithm is to bridge the conflicts between minimal cost and other aspects of generation. In the past, the optimal scheduling of electricity generation resources has been ...
متن کاملTwo-Variable Logic on 2-Dimensional Structures
This paper continues the study of the two-variable fragment of first-order logic (FO2) over twodimensional structures, more precisely structures with two orders, their induced successor relations and arbitrarily many unary relations. Our main focus is on ordered data words which are finite sequences from the set Σ×D where Σ is a finite alphabet and D is an ordered domain. These are naturally re...
متن کاملMulti-objective design of fuzzy logic controller in supply chain
Unlike commonly used methods, in this paper, we have introduced a new approach for designing fuzzy controllers. In this approach, we have simultaneously optimized both objective functions of a supply chain over a two-dimensional space. Then, we have obtained a spectrum of optimized points, each of which represents a set of optimal parameters which can be chosen by the manager ...
متن کاملQuantum Logic Unites Compositional Functional Semantics and Distributional Semantic Models
When we retrieve information from text by statistical methods, we apply these methods not to random strings of words but to sentences, paragraphs etc. They are ruled by laws of logic inherent to language. Natural language conveys information about individuals (extension) using concepts (intension). The extensional aspect is captured by the familiar logical models, the intensional aspect by dist...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016