IJLP 2011 - International Journal of Logic and Computation

About IJLP
The International Journal of Logic and Computation aims to promote the growth of logic and computing research from the perspectives of logic, mathematics and computer science, but emphasizes semantics of programs, in contrast with the traditional treatment of formal languages as sets of strings. IJLP promote this new field with its comprehensive selection of technical scientific papers and regular contributions such as letters, reviews and discussions for logical systems using classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, logical issues in logic programming, knowledge-based systems and automated reasoning programing; logical programming issues in knowledge representation, non-monotonic reasoning, logics and semantics of programming and applications of logic in hardware and VLSI.

To build its International reputation, we are disseminating the publication information through Google Books, Google Scholar, Directory of Open Access Journals (DOAJ), Open J Gate, ScientificCommons, Docstoc and many more. Our International Editors are working on establishing ISI listing and a good impact factor for IJLP.

IJLP List of Topics
The realm of International Journal of Logic and Computation (IJLP) extends, but not limited, to the following:

? Categorical Logic
? Challenges in Natural Language and Reasoning
? Classical and Non-Classical Logic
? Computer Logical Reasoning
? Constructive Logic
? Knowledge-Based Systems and Automated Reasoning Pr
? Logic Representation Techniques
? Logical Issues in Logic Programming
? Logical Programming Issues in Knowledge Representa
? Logics and Semantics of Programming
? Modal Logic
? Natural Language
? Non-Monotonic Reasoning
? Programming Expressiveness
? Programming Reasoning Test Collection
? Reasoning Systems
? Semantic Representation in Logic Programming
? State-Based Semantics
? Type Theory