top

A cut-free sequent calculus for elementary situated reasoning

J. Seligman. A cut-free sequent calculus for elementary situated reasoning. Technical Report HCRC-RP 22, HCRC, Edinburgh, 1991.

Download: [pdf] 

Abstract:

(unavailable)

Additional Information

Please, realize that there is considerable overlap among the three papers:

  • Seligman, J. (1991). A cut-free sequent calculus for elementary situated reasoning. Technical Report HCRC-RP 22, HCRC, Edinburgh.
  • Seligman, J. (1992). Situated consequence for elementary situation theory. Logic Group Preprint IULG-92-16, Indiana University.
  • Seligman, J. (1997). The logic of correct description. In M. de Rijke (Ed.), Advances in Intensional Logic, pp. 107-135. Applied Logic Series, Kluwer.

and that *all* of them contain technical errors, which are not documented but which are corrected in the sequel,(the sequel to the 1997 paper is yet unpublished).

BibTeX: (download)

@TECHREPORT{seligman91,
  author = {J. Seligman},
  title = {A cut-free sequent calculus for elementary situated reasoning},
  institution = {HCRC, Edinburgh},
  year = {1991},
  number = {HCRC-RP 22},
	papers:</p><ul><li> Seligman, J. (1991). A cut-free sequent calculus
	for elementary situated reasoning. Technical Report HCRC-RP 22, HCRC,
	Edinburgh.</li><li> Seligman, J. (1992). Situated consequence for
	elementary situation theory. Logic Group Preprint IULG-92-16, Indiana
	University.</li><li> Seligman, J. (1997). The logic of correct description.
	In M. de Rijke (Ed.), Advances in Intensional Logic, pp. 107-135.
	Applied Logic Series, Kluwer.</li></ul><p>and that *all* of them
	contain technical errors, which are not documented but which are
	corrected in the sequel,(the sequel to the 1997 paper is yet unpublished).</p>}
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:34