2026-09-15T21:35:19Zhttps://gredos.usal.es/oai/request

oai:gredos.usal.es:10366/1555582025-04-30T20:20:55Zcom_10366_4432com_10366_4395com_10366_3946com_10366_3823col_10366_4433

Blanco, José Miguel López Velasco, Sandra María Recio, Marcos M. Plumwood Algebras Belnap-Dunn Semantics 3-valued Logics [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. 2024-02-08 2024-02-08 2023 info:eu-repo/semantics/article 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 http://hdl.handle.net/10366/155558 10.26686/ajl.v29i2.8285 1448-5052 eng https://doi.org/10.26686/ajl.v29i2.8285 http://creativecommons.org/licenses/by-nc-nd/4.0/ info:eu-repo/semantics/openAccess Attribution-NonCommercial-NoDerivatives 4.0 Internacional Australasian Association of Logic and Victoria University of Wellington.