New technological developments in interactive electroacoustic music systems
Corn intercrop with cultivars of Brachiaria brizantha for silage and oats over see...
Articular surface evaluation of sheep and horses submitted to joint infusion with ...
| Full text | |
| Author(s): |
Agudelo-Agudelo, Juan C.
;
Carnielli, Walter
Total Authors: 2
|
| Document type: | Journal article |
| Source: | JOURNAL OF LOGIC AND COMPUTATION; v. 27, n. 6, p. 18-pg., 2017-09-01. |
| Abstract | |
This article investigates new algebraic proof methods for the modal logics K, KD, T, S4, S5 and for intuitionistic logic. The methods are based on the Polynomial Ring Calculus introduced in [6], and extend the results obtained in [1]. Several examples are provided, as well as a comparison with other methods. (AU) | |
| FAPESP's process: | 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS |
| Grantee: | Walter Alexandre Carnielli |
| Support Opportunities: | Research Projects - Thematic Grants |