Home > CSC-OpenAccess Library > Theory & Algorithms > International Journal of Logic and Computation (IJLP)
International Journal of Logic and Computation (IJLP)
An International peer-review journal operated under CSC-OpenAccess Policy.
ISSN - 2180-1290
Published - Bi-Monthly | Established - 2010 | Year of Publication - 2024
|
||||||||||
|
 |
HOME |  |
About IJLP | |
Editorial Board | |
Call For Papers/Editors | |
Submission Guidelines | |
Citation Report | |
IJLP Publications | |
Subscribe IJLP | |||||||
|
||||||||||||||||||||||||||||||||
ABOUT IJLP
The International Journal of Logic and Computation (IJLP) is a peer review open access journal aiming 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 programming; logical programming issues in knowledge representation, non-monotonic reasoning, logics and semantics of programming and applications of logic in hardware and VLSI.IJLP mainly targets academics, scientists, researchers, professors and computer engineers by publishing high quality research papers and providing free access to the issue archives. These research articles will help the intended audience not only to learn from the practical results but also to make new researches in the respective field.
READERSHIP
IJLP publishes and promotes the research in the field of categorical logic, computer logical reasoning, constructive logic, logic representation techniques and modal logic. The journal provides a platform for the researchers, scientists and academics to communicate and exchange their ideas and opinions relevant to logic and computation.The journal promotes the growth of logic and computing research with its complete selection of technical scientific papers and regular contributions made in the field of logic and computation. IJLP mainly targets academics, researchers, professors, computer engineers by publishing high quality research papers and providing free access to the issue archives. These research articles will help the intended audience not only to learn from the practical results but also to make new researches in the respective field.
LIST OF TOPICS
Applications of Logic in Hardware and VLSI
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
Soft Computing Techniques
State-Based Semantics
Type Theory
ABSTRACTING & INDEXING |
CITATION ANALYSIS |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| The publications of IJLP are abstracted and indexed in following databases and websites. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
