Description Logics in the Calculus of Structures Jean-David Roubach1,2 , Pascal Yim2 , and Joaquín Rodriguez1 1 INRETS – ESTAS Villeneuve d’Ascq, France - Deep inference - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2007-05-22 01:39:22 Non-classical logic Philosophical logic Metalogic Calculus of structures Modal logic Deep inference Structural proof theory Sequent calculus Proof calculus Logic Mathematical logic Proof theory		Description Logics in the Calculus of Structures Jean-David Roubach1,2 , Pascal Yim2 , and Joaquín Rodriguez1 1 INRETS – ESTAS Villeneuve d’Ascq, France Add to Reading List Source URL: www.ceur-ws.org Download Document from Source Website File Size: 223,76 KB Share Document on Facebook

	Issues in Multimedia Authoring Lecture 10: Limitations of Computers Keith Douglas Summary DocID: 1qeXR - View Document
	Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr DocID: 1pgaI - View Document
	Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond Simon Cruanes École polytechnique and Inria https://who.rocq.inria.fr/Simon.Cruanes/ DocID: 1nVBi - View Document
	Purity through Unravelling Robert Hein and Charles Stewart Technische Universit¨ at Dresden, Germany Abstract. We divide attempts to give the structural proof theory of DocID: 1krbU - View Document
	An Abstract Completion Procedure for Cut Elimination in Deduction Modulo Guillaume Burel École Normale Supérieure de Lyon & LORIA∗ The complementarity and interaction between computation DocID: 1g21z - View Document