A property related to completeness

A Completeness Property of Wilke's Tree Algebras

Wilke’s tree algebra formalism for characterizing families of tree languages is based on six operations involving letters, binary trees and binary contexts. In this paper a completeness property of these operations is studied. It is claimed that all functions involving letters, binary trees and binary contexts which preserve all syntactic tree algebra congruence relations of tree languages are ...

Soundness and Completeness versus Lifting Property 1

We give new formulations of the property of soundness and completeness of a resolution system and of the lifting lemma, and we discuss their relationship. The discussion points out why certain resolution systems are not complete, and that there is a simple method for showing that a resolution system is \absolutely incomplete" { that there is no notion of program completion and no logic which co...

Complexity issues related to propagation completeness

Knowledge compilation is a process of adding more information to a knowledge base in order to make it easier to deduce facts from the compiled base than from the original one. One type of knowledge compilation occurs when the knowledge in question is represented by a Boolean formula in conjunctive normal form (CNF). The goal of knowledge compilation in this case is to add clauses to the input C...

A Genetic-DEA Approach to Reveal Property Rights Priorities

Proposition of completeness property to perform the plant modelling for manufacturing applications

Research dealing with control behavior determination often needs plant modelling to use formal methods. However, plant models are difficult to obtain because a manufacturing application is composed of a huge set of components with numerous interactions each other. The goal of this paper is to propose and demonstrate a property to improve the designer’s confidence in his plant model. The propert...