Introduction to Labelled Deductive Systems

In the past 40 years logic has undergone a serious evolutionary development. The meteoric rise of the applied areas of computer science and artificial intelligence put pressure on traditional logic to evolve. There was the urgent need to develop new logics in order to provide better models of human behaviour and actions. Such models are used to help design products which aid/replace the human in his daily activity. As a result, a rich variety of new logics have been developed and there was the need for a new unifying methodology for the chaotic landscape of the new logics.

[1]  Dov M. Gabbay,et al.  The Laws of Evidence and Labelled Deduction , 2003 .

[2]  D. Scott.  Completeness and Axiomatizability in Many-Valued Logic , 2012 .

[3]  Dov M. Gabbay.  Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories , 1991, SCAI.

[4]  Dov M. Gabbay,et al.  Goal-Directed Proof Theory , 2000 .

[5]  Dov M. Gabbay,et al.  The Law of Evidence and Labelled Deduction: A Position Paper , 2011, Approaches to Legal Rationality.

[6]  Adrian Keane,et al.  The modern law of evidence , 1985 .

[7]  Dov M. Gabbay,et al.  Fibring Neural Networks , 2004, AAAI.

[8]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[9]  Dov M. Gabbay.  Dung’s Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce–Quine Dagger , 2011, Logica Universalis.

[10]  David Makinson,et al.  General patterns in nonmonotonic reasoning , 1994 .

[11]  Dov M. Gabbay,et al.  Revision, Acceptability and Context - Theoretical and Algorithmic Aspects , 2010, Cognitive Technologies.

[12]  Dov M. Gabbay,et al.  Reactive Kripke Semantics and Arc Accessibility , 2007 .

[13]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[14]  John G. Gibbons.  Knowledge in Action , 2001 .

[15]  Dov M. Gabbay,et al.  Laws and Models of Science , 2004 .

[16]  Dov M. Gabbay,et al.  Labelled deduction , 2000 .

[17]  Dov M. Gabbay,et al.  Fibring Argumentation Frames , 2009, Stud Logica.

[18]  Dov M. Gabbay,et al.  The Functional Interpretation of Logical Deduction , 2011, Advances in Logic.

[19]  D. Gabbay,et al.  Proof Theory for Fuzzy Logics , 2008 .

[20]  Dov M. Gabbay,et al.  Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.

[21]  Dov M. Gabbay,et al.  Recursive Causality in Bayesian Networks and Self-Fibring Networks , 2004 .

[22]  Tony Dodd,et al.  Logic programming: expanding the horizons , 1991 .

[23]  V. S. Subrahmanian,et al.  Dempster-Shafer Logic Programs and Stable Semantics , 1993 .

[24]  Dov M. Gabbay.  Introducing Equational Semantics for Argumentation Networks , 2011, ECSQARU.

[25]  Dov M. Gabbay,et al.  Abduction in Labelled Deductive Systems - A Conceptual Abstract , 1991, ECSQARU.

[26]  Dov M. Gabbay,et al.  Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency , 1993, ECSQARU.

[27]  Luca Viganò,et al.  Labelled non-classical logics , 2000 .

[28]  D. Walton,et al.  Fallacies : Selected Papers 1972-1982 , 1989 .

[29]  Dov M. Gabbay.  How to Construct a Logic for Your Application , 1992, GWAI.

[30]  D. F. Kerridge,et al.  The Logic of Decision , 1967 .

[31]  Walter Felscher.  Dialogues as a Foundation for Intuitionistic Logic , 2002 .

[32]  Dov M. Gabbay,et al.  Reactive Kripke Models and Contrary to Duty Obligations , 2008, DEON.

[33]  Dov M. Gabbay,et al.  Chapter 2 - The Practical Logic of Cognitive Systems , 2003 .

[34]  M. Fitting.  Proof Methods for Modal and Intuitionistic Logics , 1983 .

[35]  D. Gabbay.  A General Theory of Structured Consequence Relations , 1995 .

[36]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[37]  Dov M. Gabbay,et al.  Chapter 13 – Labelled Deductive Systems , 2003 .

[38]  The nature of argument , 1980 .

[39]  Dov M. Gabbay.  Compromise Update and Revision: A Position Paper , 1999 .

[40]  Dov M. Gabbay,et al.  Reactive automata , 2011, Inf. Comput..

[41]  Krzysztof R. Apt,et al.  Logics and Models of Concurrent Systems , 1989, NATO ASI Series.

[42]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

[43]  Dov M. Gabbay.  Equational approach to argumentation networks , 2012, Argument Comput..

[44]  Dov M. Gabbay,et al.  Extending the Curry-Howard interpretation to linear, relevant and other resource logics , 1992, Journal of Symbolic Logic.

[45]  Dov M. Gabbay,et al.  Analysis and Synthesis of Logics , 2008 .