Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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
Document Date: 2007-05-22 01:39:22
Open Document
File Size: 223,76 KB
Share Result on Facebook
City
Lille /
Berlin /
/
Country
France /
/
/
Facility
King’s College /
/
Organization
King’s College /
/
Technology
artificial intelligence /
/
SocialTag
Non-classical logic
Philosophical logic
Metalogic
Calculus of structures
Modal logic
Deep inference
Structural proof theory
Sequent calculus
Proof calculus
Logic