Título
The class of all 3-valued natural conditional variants of RM3 that are Plumwood Algebras
Autor(es)
Palabras clave
Plumwood Algebras
Belnap-Dunn Semantics
3-valued Logics
Clasificación UNESCO
Fecha de publicación
2023
Editor
Australasian Association of Logic and Victoria University of Wellington.
Citación
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
Resumen
[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.
URI
DOI
Versión del editor
Aparece en las colecciones
