Computer Science Journals (CSC Journals) invites researchers, editors, scientists & scholars to publish their scientific research papers in an International Journal of Logic and Computation (IJLP) Volume 3, Issue 1.

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.

CSC Journals anticipate and invite papers on any of the following topics:

Applications of Logic in Hardware and VLSI

Modal Logic

Categorical Logic

Natural Language

Challenges in Natural Language and Reasoning

Non-Monotonic Reasoning

Classical and Non-Classical Logic

Programming Expressiveness

Computer Logical Reasoning

Programming Reasoning Test Collection

Constructive Logic

Reasoning Systems

Knowledge-Based Systems and Automated Reasoning Pr

Semantic Representation in Logic Programming

Logic Representation Techniques

Soft Computing Techniques

Logical Issues in Logic Programming

State-Based Semantics

Logical Programming Issues in Knowledge Representa

Type Theory

Logics and Semantics of Programming