The development of a “Logic of Argumentation”

This publication has 9 references indexed in Scilit:

• Contraction-free sequent calculi for intuitionistic logic
  The Journal of Symbolic Logic, 1992
• Qualitative Probability versus Quantitative Probability in Clinical Diagnosis
  Medical Decision Making, 1991
• Logic engineering for knowledge engineering: design and implementation of the Oxford System of Medicine
  Artificial Intelligence in Medicine, 1990
• Using predicate logic to integrate qualitative reasoning and classical decision theory
  IEEE Transactions on Systems, Man, and Cybernetics, 1990
• Evaluating and validating very large knowledge-based systems
  Medical Informatics, 1990
• Local Computations with Probabilities on Graphical Structures and Their Application to Expert Systems
  Journal of the Royal Statistical Society Series B: Statistical Methodology, 1988
• The robust beauty of improper linear models in decision making.
  American Psychologist, 1979
• Non-additive probabilities in the work of Bernoulli and Lambert
  Archive for History of Exact Sciences, 1978
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
  Indagationes Mathematicae, 1972