作者： Ian Horrocks , Raphael Volz , Stefan Decker , Benjamin N. Grosof
DOI:
关键词: T-norm fuzzy logics 、 Substructural logic 、 Computer science 、 Description logic 、 Computational logic 、 Intermediate logic 、 Programming language 、 Dynamic logic (modal logic) 、 Higher-order logic 、 Classical logic
摘要: