부산대학교 도서관

Lie between classical logic and Brouwer-Heyting intuitionistic logic proposed in the first third of Rewriting logic is both a logical framework where many logics can be naturally represented and a Represented in the rewriting logic framework symbolic methods are of great importance. Is however limited to finitary logics, i.e. logics with Hilbert-style axiomatization using finitary rules Besides the better-known Nelson's logic and paraconsistent Nelson's logic, in 'Negation and. [Extracted from the article]