Skip to search formSkip to main contentSkip to account menu

Logic in computer science

Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three… 
Wikipedia (opens in a new tab)

Related topics

Related topics

24 relations
ACM Transactions on Computational LogicAutomated theorem provingCategory theoryComputational logic

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2018
Highly Cited
2018
Mathematical Logic in Computer Science
The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since… 
2015
2015
Linear logic in computer science
Linear logic has many properties that make it suitable for application in various areas of computer science. It is able to… 
2011
2011
Fuzzy Logic in Computer Science
Many researchers and practitioners in the field of artificial intelligence (and intelligent systems in particular) want to make… 
Highly Cited
2009
Highly Cited
2009
Handbook of Practical Logic and Automated Reasoning
This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated… 
Highly Cited
2003
Highly Cited
2003
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Review
2000
Review
2000
Logic in computer science - modelling and reasoning about systems
logic in computer science modelling and reasoning about logic in computer science library of congress logic in computer science… 
Highly Cited
2000
Highly Cited
2000
Logic in Computer Science: Modelling and Reasoning about Systems
From the Publisher: Provides a simple and clear presentation, covering propositional and predicate logic and some specialized… 
1993
1993
Geometric Logic in Computer Science
  • S. Vickers
  • Theory and Formal Methods
  • 1993
  • Corpus ID: 13205688
We present an introduction to geometric logic and the mathematical structures associated with it, such as categorical logic and… 
Highly Cited
1992
Highly Cited
1992
Handbook of logic in computer science.
Highly Cited
1989
Highly Cited
1989
A category-theoretic account of program modules
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)