College Publications logo   College Publications title  
View Basket
Homepage Contact page
   
 
AiML
Algorithmics
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Computing
Cuadernos de lógica, Epistemología y Lenguaje
DEON
Dialogues
Economics
Encyclopaedia of Logic
Filosofia
Handbooks
IfColog series in Computational Logic
Journals
Law and Society
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
Neural Computing and Artificial Intelligence
Philosophy
Research
The SILFS series
Studies in Logic
History of Logic
Logic and cognitive systems
Mathematical logic and foundations
Studies in Logic and Argumentation
Studies in Talmudic Logic
Systems
Texts in Mathematics
Tributes
Other
Digital Downloads
Information for authors
About us
Search for Books
 



Mathematical logic and foundations


Back

Logical Consequences

Theory and Applications: An Introduction

Luis M. Augusto

The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.

Both deductive and non-deductive consequence are discussed. The starting point is classical deductive consequence: classical logic is the reference system, and the non-classical deductive systems are seen as extensions, deviations, or variations thereof. The discussion of non-classical deductive consequence focuses on many-valued, intuitionistic, modal, paraconsistent, and substructural logical consequences. The topic of non-deductive consequence is elaborated on from the viewpoints of abductive, inductive, and probabilistic logics. All in all, the major contemporary (classes of) logical systems are here discussed.

The approach is mathematical in essence, and the mathematical background, mainly founded on order relations, is treated thoroughly and in an accessible way for the non-mathematician.


22 February 2017

978-1-84890-236-7






© 2005–2017 College Publications / VFH webmaster