Calculi for Description Logics

[arademaker]

See http://arademaker.github.io/bibliography/phdthesis-4.html. A sequent calculus and natural deduction for the description logics ACL and ALCQ. Not clear if this is the best way to contribute ... Let me know.

[ceilican]

Oi @arademaker ! Obrigado pelo interesse em contribuir!

A melhor maneira de contribuir é seguir as instruções de submissão (http://proofsystem.github.io/Encyclopedia/). Caso encontre dificuldades em compilar a encyclopaedia, me contacte.

A Giselle e eu submetemos uma proposta pra organizar um evento afiliado à Tableaux/FroCoS/IPT em Brasilia voltado à Encyclopaedia of Proof Systems. Caso a nossa proposta seja aprovada, qualquer contribuição sua será automaticamente considerada como uma contribuição a esse evento também, caso você tenha interesse.