clausal

Modifies a noun

• logic: In Chapter 2, the topic of resolution theorem proving in clausal logic is addressed in a more rigorous fashion.
• form: One drawback is the exponential increase in the size of the resulting formula when transformed from standard logic notation into clausal form.
• unit: The resulting four hours of conversational data yielded a total of 7909 ' ' clausal units ' ' .
• structure: At the same time the changes documented here can be used as a tool to diagnose what that clausal structure must be.
• negation: Based on a stratified core sample of 240 languages, this study investigates the form and distribution of negative markers in clausal negation.
• approach: The tutorial incorporates a variety of examples, exhibiting the workings of the clausal temporal resolution approach.