Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,048,964 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
24 relations
ACM Transactions on Computational Logic
Automated theorem proving
Category theory
Computational logic
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Ordering information on distributions
J. Wetering
arXiv.org
2017
Corpus ID: 18498468
This thesis details a class of partial orders on the space of probability distributions and the space of density operators which…
Expand
2010
2010
Editorial
V. Vianu
2010
Corpus ID: 233199773
2006
2006
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings
L. Goble
,
J. Meyer
International Workshop on Deontic Logic in…
2006
Corpus ID: 45334181
Abstracts of Invited Papers.- Roles, Counts-as and Deontic and Action Logics.- Norms and Electronic Institutions.- Emotion Models…
Expand
2004
2004
Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
T. Ehrhard
,
J. Girard
,
P. Ruet
,
P. Scott
2004
Corpus ID: 61642083
This paper presents an introduction to category theory with an emphasis on those aspects relevant to the analysis of the model…
Expand
1998
1998
Paraconsistent Inference and Preservation
Paul Wong
1998
Corpus ID: 17042309
The study of paraconsistent inference is the study of inference which prohibits reasoning from inconsistent premises to arbitrary…
Expand
1997
1997
Special selection in logic in computer science
Moshe Y. Vardi
Journal of Symbolic Logic (JSL)
1997
Corpus ID: 45797408
Over the last twenty-five years, logic proved to be a powerful formal tool in computer science and constitutes the primary…
Expand
1996
1996
A Machine Verified Distributed Sorting Algorithm
Jørgen H. Andersen
,
Edwin A. Harcourt
,
K. V. S. Prasad
1996
Corpus ID: 1166537
We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The…
Expand
1995
1995
Deontic Logic, Agency, and Normative Systems: Deon '96: Third International Workshop on Deontic Logic in Computer Science, Lisbon, 11-13 January 1996
Mark A. Brown
,
J. Carmo
1995
Corpus ID: 60642265
From the Fundamental Legal Conceptions of Hohfeld to Legal Relations: Refining the Enrichment of Solely Deontic Legal Relations…
Expand
1987
1987
Partial-predicate logic in computer science
A. Hoogewijs
Acta Informatica
1987
Corpus ID: 436043
SummaryIn “A Logic Covering Undefinedness in Program Proofs” [1], Barringer, Cheng and Jones present a 3-valued logic designed…
Expand
1982
1982
Mathematical Logic in Computer Science
B. Domolki
,
T. Gergely
1982
Corpus ID: 27622552
Interestingly, mathematical logic in computer science that you really wait for now is coming. It's significant to wait for the…
Expand