诱使 发表于 2025-3-30 11:54:42
R-Mingle is Nice, and so is Arnon Avron, of Anderson and Belnap.” I agree. There is the famous saying: “Do not let the perfect become the enemy of the good.” I might say: “good enough.” In this spirit, I will examine the logic R-Mingle, exploring how (in the terminology of Avron) it is only a “semi-relevant logic” but still a paraconsisteAlopecia-Areata 发表于 2025-3-30 13:35:09
The Strict/Tolerant Idea and Bilattices, the metaconsequence level. Specifically, it does not satisfy a cut rule. It has been proposed for use in work on theories of truth because it avoids some objectionable features arising from the use of classical logic. Here we are not interested in applications, but in the formal details themselves.格子架 发表于 2025-3-30 18:32:24
What Is Negation in a System 2020?,without negation or as a system with some form of negation. In both cases, we are supposed to know intuitively whether there is no negation in the system or whether the form of negation presented in the system is indeed as claimed. To be more specific, suppose Robinson Crusoe writes a logical system