| dc.contributor.author | Blanco, José Miguel | |
| dc.contributor.author | López Velasco, Sandra María | |
| dc.contributor.author | Recio, Marcos M. | |
| dc.date.accessioned | 2024-02-08T11:22:47Z | |
| dc.date.available | 2024-02-08T11:22:47Z | |
| dc.date.issued | 2023 | |
| dc.identifier.citation | Blanco, J.M., López Velasco, S.M. & Recio, M.M. (2023). The class of all 3-valued natural conditional variants of RM3 that are Plumwood Algebras. The Australasian Journal of Logic, 20(2), 188-218. https://doi.org/10.26686/ajl.v29i2.8285 | es_ES |
| dc.identifier.uri | http://hdl.handle.net/10366/155558 | |
| dc.description.abstract | [EN]Valerie Plumwood introduced in Some false laws of logic [15] a
series of arguments on how the rules Exported Syllogism, Disjunctive
Syllogism, Commutation, and Exportation are not acceptable. Based
on this we define the class of Plumwood algebras, logical matrices
that do not verify any of these theses. Afterwards we provide conditional
variants of the characteristic matrix of the logic RM3 that are
also Plumwood algebras. These matrices are given an axiomatization
based on First Degree Entailment and are endowed with Belnap-Dunn
Semantics. Finally we provide results of Soundness and Completeness
in the strong sense for each of the defined variants. | es_ES |
| dc.format.mimetype | application/pdf | |
| dc.language | Español | |
| dc.language.iso | eng | es_ES |
| dc.publisher | Australasian Association of Logic and Victoria University of Wellington. | es_ES |
| dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
| dc.subject | Plumwood Algebras | es_ES |
| dc.subject | Belnap-Dunn Semantics | es_ES |
| dc.subject | 3-valued Logics | es_ES |
| dc.title | The class of all 3-valued natural conditional variants of RM3 that are Plumwood Algebras | es_ES |
| dc.type | info:eu-repo/semantics/article | es_ES |
| dc.relation.publishversion | https://doi.org/10.26686/ajl.v29i2.8285 | es_ES |
| dc.subject.unesco | 11 Lógica | es_ES |
| dc.identifier.doi | 10.26686/ajl.v29i2.8285 | |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | es_ES |
| dc.identifier.essn | 1448-5052 | |
| dc.journal.title | The Australasian Journal of Logic | es_ES |
| dc.volume.number | 20 | es_ES |
| dc.issue.number | 2 | es_ES |
| dc.page.initial | 188 | es_ES |
| dc.page.final | 218 | es_ES |
| dc.type.hasVersion | info:eu-repo/semantics/publishedVersion | es_ES |