dc.creator | Coniglio, ME | |
dc.creator | Figallo, M | |
dc.date | 2014 | |
dc.date | JUN | |
dc.date | 2014-08-01T18:30:52Z | |
dc.date | 2015-11-26T18:06:27Z | |
dc.date | 2014-08-01T18:30:52Z | |
dc.date | 2015-11-26T18:06:27Z | |
dc.date.accessioned | 2018-03-29T00:48:39Z | |
dc.date.available | 2018-03-29T00:48:39Z | |
dc.identifier | Studia Logica. Springer, v. 102, n. 3, n. 525, n. 539, 2014. | |
dc.identifier | 0039-3215 | |
dc.identifier | WOS:000335907700005 | |
dc.identifier | 10.1007/s11225-013-9489-0 | |
dc.identifier | http://www.repositorio.unicamp.br/jspui/handle/REPOSIP/80004 | |
dc.identifier | http://repositorio.unicamp.br/jspui/handle/REPOSIP/80004 | |
dc.identifier.uri | http://repositorioslatinoamericanos.uchile.cl/handle/2250/1293361 | |
dc.description | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
dc.description | Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) | |
dc.description | We analyze the variety of A. Monteiro's tetravalent modal algebras under the perspective of two logic systems naturally associated to it. Taking profit of the contrapositive implication introduced by A. Figallo and P. Landini, sound and complete Hilbert-style calculi for these logics are presented. | |
dc.description | 102 | |
dc.description | 3 | |
dc.description | 525 | |
dc.description | 539 | |
dc.description | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
dc.description | Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) | |
dc.description | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
dc.description | Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) | |
dc.description | FAPESP [LogCons 2010/51038-0] | |
dc.language | en | |
dc.publisher | Springer | |
dc.publisher | New York | |
dc.publisher | EUA | |
dc.relation | Studia Logica | |
dc.relation | Stud. Log. | |
dc.rights | fechado | |
dc.rights | http://www.springer.com/open+access/authors+rights?SGWID=0-176704-12-683201-0 | |
dc.source | Web of Science | |
dc.subject | Tetravalent modal algebras | |
dc.subject | Hilbert calculi | |
dc.subject | Contrapositive implication | |
dc.subject | Paraconsistent modal logics | |
dc.title | Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras | |
dc.type | Artículos de revistas | |