Results 1 
8 of
8
Prospects for mathematical logic in the twentyfirst century
 BULLETIN OF SYMBOLIC LOGIC
, 2002
"... The four authors present their speculations about the future developments of mathematical logic in the twentyfirst century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently. ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
(Show Context)
The four authors present their speculations about the future developments of mathematical logic in the twentyfirst century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.
Argumentation technology
 IEEE Intelligent Systems, Special Issue on Argumentation Technology
, 2007
"... This paper introduces the Special Issue on Argumentation Technologies, with a discussion of the role of argumentation in modern computing, and identification of the challenges which must be met before the widespread deployment of argumentation technologies. ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
(Show Context)
This paper introduces the Special Issue on Argumentation Technologies, with a discussion of the role of argumentation in modern computing, and identification of the challenges which must be met before the widespread deployment of argumentation technologies.
Finding Unity in Computational Logic
"... While logic was once developed to serve philosophers and mathematicians, it is increasingly serving the varied needs of computer scientists. In fact, recent decades have witnessed the creation of the new discipline of Computational Logic. While Computation Logic can claim involvement in many, divers ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
While logic was once developed to serve philosophers and mathematicians, it is increasingly serving the varied needs of computer scientists. In fact, recent decades have witnessed the creation of the new discipline of Computational Logic. While Computation Logic can claim involvement in many, diverse areas of computing, little has been done to systematize the foundations of this new discipline. Here, we envision a unity for Computational Logic organized around recent developments in the theory of sequent calculus proofs. We outline how new tools and methodologies can be developed around a boarder approach to computational logic. Computational logic, unity of logic, proof theory 1. SOFTWARE AND HARDWARE CORRECTNESS IS CRITICALLY IMPORTANT Computer systems are everywhere in our societies and their integration with all parts of our lives is constantly increasing. There are a host of computer systems—such as those in cars, airplanes, missiles, hospital equipment—where correctness of software is
SIGACT News Logic Column 10 Specifying Confidentiality ∗
, 2004
"... I would like to start my tenure as editor of the Logic Column by thanking Jon Riecke, who has edited this column since 1998. The Logic Column serves as a showcase of the many connections between logic and computer science. Logic has been connected with computer science since the early days of Turing ..."
Abstract
 Add to MetaCart
(Show Context)
I would like to start my tenure as editor of the Logic Column by thanking Jon Riecke, who has edited this column since 1998. The Logic Column serves as a showcase of the many connections between logic and computer science. Logic has been connected with computer science since the early days of Turing. In the past few decades, logical methods have had a considerable impact. To get a sense of the range of applications, consider the 2001 NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science (see
SIGACT News Logic Column 18 Alternative Logics: A Book Review ∗
, 705
"... A few years ago, Bill Gasarch, editor of the Book Review Column, sent me a copy of the book ..."
Abstract
 Add to MetaCart
(Show Context)
A few years ago, Bill Gasarch, editor of the Book Review Column, sent me a copy of the book
Logic and Cognitive Science
"... Abstract. Our aim is to show that the logical point of view and methods of logic are indispensable for the understanding of human cognition. However, the results of some well known psychological experiments may be seen as denying the relevance of logic in studying human reasoning. Wrong design decis ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. Our aim is to show that the logical point of view and methods of logic are indispensable for the understanding of human cognition. However, the results of some well known psychological experiments may be seen as denying the relevance of logic in studying human reasoning. Wrong design decisions and interpretations of these experiments are analyzed in this chapter. Arguments supporting an externalist position for a level of descriptions of cognition are presented. Finally, relations of logic and actual human reasoning are analyzed and illustrated on some examples. 1
1. SOFTWARE AND HARDWARE CORRECTNESS
, 2013
"... While logic was once developed to serve philosophers and mathematicians, it is increasingly serving the varied needs of computer scientists. In fact, recent decades have witnessed the creation of the new discipline of Computational Logic. While Computation Logic can claim involvement in diverse area ..."
Abstract
 Add to MetaCart
While logic was once developed to serve philosophers and mathematicians, it is increasingly serving the varied needs of computer scientists. In fact, recent decades have witnessed the creation of the new discipline of Computational Logic. While Computation Logic can claim involvement in diverse areas of computing, little has been done to systematize the foundations of this new discipline. Here, we envision a unity for Computational Logic organized around the proof theory of the sequent calculus: recent results in the area of focused proof systems will play a central role in developing this unity.