AN ANNOTATED LOGIC DEFINED BY A MATRIX
UNSOLVED PROBLEMS ON MATHEMATICS FOR THE 21ST CENTURY: A TRIBUTE TO KIYOSHI ISEKI’S 80TH BIRTHDAY
| dc.creator | Lewin, R. A. | |
| dc.creator | Lewin Riquelme De La Barre, Renato Alfredo | |
| dc.creator | Pigozzi, Don L. | |
| dc.date | 2016-12-27T21:48:49Z | |
| dc.date | 2022-06-17T21:27:34Z | |
| dc.date | 2016-12-27T21:48:49Z | |
| dc.date | 2022-06-17T21:27:34Z | |
| dc.date | 2001 | |
| dc.date.accessioned | 2023-08-22T08:03:41Z | |
| dc.date.available | 2023-08-22T08:03:41Z | |
| dc.identifier | 1990433 | |
| dc.identifier | 90-5199-490-7 | |
| dc.identifier | https://hdl.handle.net/10533/165047 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/8332936 | |
| dc.description | Of special interest in abstract algebraic logic currently is the problem of extending the general theory of algebraization to logical systems that fail to be structural. The annotated logics PL were introduced in the late eighties as a logical framework to deal with deductive databaes that contain inconsistent, conflicting or contradictory information. Like many paraconsistent logics they are non-structural, and for this reason they do not have an algebraic semantics in the usual sense. In this paper a structural and algebraizable annotated logic PM(L) is constructed that simulates the deductive process of PL in a natural way. Unlike PL, PM (L) is semantically defined by a single matrix M(L). The matrix is simpler than other matrix semantics of similar kind that have appeared in the literature. If M(L) is finite, a sound and complete axiomatizacion of PM(L) is given and this is used to prove that the equivalent algebraic semantics of PM(L) is the quasivariety generated by the Leibniz reduction of the underlying M(L) of M(L), and to find an equational axiomatization for this quasivariety. | |
| dc.description | FONDECYT | |
| dc.description | 319 | |
| dc.description | FONDECYT | |
| dc.language | eng | |
| dc.publisher | IOS PRESS | |
| dc.relation | instname: Conicyt | |
| dc.relation | reponame: Repositorio Digital RI2.0 | |
| dc.relation | instname: Conicyt | |
| dc.relation | reponame: Repositorio Digital RI 2.0 | |
| dc.relation | info:eu-repo/grantAgreement/Fondecyt/1990433 | |
| dc.relation | info:eu-repo/semantics/dataset/hdl.handle.net/10533/93479 | |
| dc.rights | info:eu-repo/semantics/openAccess | |
| dc.title | AN ANNOTATED LOGIC DEFINED BY A MATRIX | |
| dc.title | UNSOLVED PROBLEMS ON MATHEMATICS FOR THE 21ST CENTURY: A TRIBUTE TO KIYOSHI ISEKI’S 80TH BIRTHDAY | |
| dc.type | Capitulo de libro | |
| dc.type | info:eu-repo/semantics/bookPart |