Back to Results
First PageMeta Content
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

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