USA Abstract This paper describes a classical logic for attribute-value (or feature description) languages which ate used in urfification grammar to describe a certain kind of linguistic object commonly called attribute-value structure (or feature structure). Tile algorithm which is used for deciding satisfiability of a feature description is based on a restricted deductive closure construction...

Muslims believe that the The Holy Quran is the message of God Almighty which has been transmitted to His messenger, Prophet Mohammad (PBUH), through revelation in the Arabic language. This Holy book has been translated into many languages, including English. Although the content of the The Holy Quran has been translated into the English language, few studies have been conducted to explore the b...

The purpose of this study was to investigate the relationship between students‘ explicit knowledge in grammar and their translation ability. The importance of grammatical knowledge and its effectiveness in translation quality motivated the researcher to run this study and consider grammatical knowledge in Per- sian as the source language of Iranian students. It is clear that grammar is an area ...