Atomic Cut Elimination for Classical Logic
From International Center for Computational Logic
Atomic Cut Elimination for Classical Logic
Kai BrünnlerKai Brünnler
Kai Brünnler
Atomic Cut Elimination for Classical Logic
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-11, 2002
Atomic Cut Elimination for Classical Logic
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-11, 2002
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@techreport{B2002,
author = {Kai Br{\"{u}}nnler},
title = {Atomic Cut Elimination for Classical Logic},
institution = {Knowledge Representation and Reasoning Group, Department of
Computer Science, Dresden University of Technology},
year = {2002}
}
