Consistency Without Cut Elimination

Kai BrünnlerKai Brünnler, Alessio GuglielmiAlessio Guglielmi

Download

Kai Brünnler, Alessio Guglielmi
Consistency Without Cut Elimination
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-16 (updated April 2003), 2002

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@techreport{BG2002,
  author      = {Kai Br{\"{u}}nnler and Alessio Guglielmi},
  title       = {Consistency Without Cut Elimination},
  institution = {Knowledge Representation and Reasoning Group, Department of
                 Computer Science, Dresden University of Technology},
  year        = {2002}
}