A categorical approach to the semantics of argumentation

DOI10.1017/S0960129500000931zbMath0849.18007MaRDI QIDQ4882497

Simon Ambler

Publication date: 5 November 1996

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

zbMATH Keywords

implicationconjunctionconfidence measuresuncertain inferencesemantics of argumentationevidential closed categorysemilattice enriched catgory

Mathematics Subject Classification ID

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

Related Items (2)

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

Cites Work

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

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