细查
发表于 2025-3-26 23:24:31
http://reply.papertrans.cn/17/1618/161746/161746_31.png
整洁漂亮
发表于 2025-3-27 01:14:34
http://reply.papertrans.cn/17/1618/161746/161746_32.png
Vsd168
发表于 2025-3-27 08:55:56
http://reply.papertrans.cn/17/1618/161746/161746_33.png
Adulate
发表于 2025-3-27 13:17:18
http://reply.papertrans.cn/17/1618/161746/161746_34.png
不真
发表于 2025-3-27 14:41:00
http://reply.papertrans.cn/17/1618/161746/161746_35.png
枯燥
发表于 2025-3-27 20:23:00
No Group of Opposition for Constructive Logics: The Intuitionistic and Linear Casesttempt to apply the square of opposition to linear logic shows that the lack of subcontrariety and the asymmetry of contradiction are not equivalent properties. The former property, not the latter, is the general reason why there can be no group of opposition for constructive logics.
squander
发表于 2025-3-28 00:39:02
Jean-Yves Béziau,Dale JacquetteExclusively dedicated to the square of oppositions.Presenting the topic from an interdisciplinary perspective.Of interest for mathematical logicians as well as philosophers.Includes supplementary mate
水槽
发表于 2025-3-28 05:58:44
http://reply.papertrans.cn/17/1618/161746/161746_38.png
Accomplish
发表于 2025-3-28 09:01:07
Logical Oppositions in Arabic Logic: Avicenna and Averroesess, we can find that Averroes defends what Parsons calls SQUARE and , because he holds . and .-conversions and the truth conditions he admits are just those that make all the relations of the square valid, while Avicenna defends SQUARE and only for the waṣfī reading of assertoric p
特别容易碎
发表于 2025-3-28 13:13:39
http://reply.papertrans.cn/17/1618/161746/161746_40.png