A categorical approach to the semantics of argumentation

DOI10.1017/S0960129500000931zbMATH Open0849.18007MaRDI QIDQ4882497FDOQ4882497

Simon J. Ambler

Publication date: 5 November 1996

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Recommendations

• Abstract argumentation systems
• Categorical proof theory of classical propositional calculus
• scientific article
• What is a reasonable argumentation semantics?
• Probabilistic graded semantics

zbMATH Keywords

confidence measuresimplicationconjunctionuncertain inferencesemantics of argumentationevidential closed categorysemilattice enriched catgory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Theories (e.g., algebraic theories), structure, and semantics (18C10) Logical aspects of lattices and related structures (03G10) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Title not available (Why is that?)
• Linear logic
• Metric spaces, generalized logic, and closed categories
• Cartesian bicategories. I
• Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
• Coalgebras and cartesian categories
• Computer-aided verification. 2nd international conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings

Cited In (3)

• THE IDENTITY OF ARGUMENT-PLACES
• A unified framework for hypothetical and practical reasoning (2): Lessons from medical applications
• Uses and computation of imprecise probabilities from statistical data and expert arguments

This page was built for publication: A categorical approach to the semantics of argumentation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4882497)