Book Chapter10.1007/978-3-540-88190-2_22

Toward Short and Structural $\mathcal{ALC}$ -Reasoning Explanations: A Sequent Calculus Approach

Alexandre Rademaker,Edward Hermann Hæusler-2008-01-01-Lecture notes in computer science

6

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

SequentSequent calculusMathematical proofCut-elimination theoremContext (archaeology)Proof complexityCalculus (dental)Computer science

Chat

Click to start Chat