The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation

25 pages•Published: February 12, 2014

Michael Abraham, Dov Gabbay and Uri J. Schild

Abstract

In this paper we present the notion of the Talmudic
Shkop extension to an abstract argumentation network (S,R) and compare it with Baroni’s
and his colleagues CF2 extensions and with Gabbay’s Equational approach to CF2 semantics.
We also offer tableaux methods as well as discuss temporal stamping of arguments and their use in resolving loops

In: Andrei Voronkov and Margarita Korovina (editors). HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday, vol 42, pages 140-164.

Links:	https://easychair.org/publications/paper/v
	https://doi.org/10.29007/gkg6

BibTeX entry

@inproceedings{HOWARD-60:Handling_Loops_Talmudic_Logic,
  author    = {Michael Abraham and Dov Gabbay and Uri J. Schild},
  title     = {The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation},
  booktitle = {HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday},
  editor    = {Andrei Voronkov and Margarita Korovina},
  series    = {EPiC Series in Computing},
  volume    = {42},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/v},
  doi       = {10.29007/gkg6},
  pages     = {140-164},
  year      = {2014}}

Download PDF Open PDF in browser