使成波状
发表于 2025-3-28 18:32:42
http://reply.papertrans.cn/67/6639/663821/663821_41.png
Perigee
发表于 2025-3-28 20:56:11
http://reply.papertrans.cn/67/6639/663821/663821_42.png
一美元
发表于 2025-3-29 02:30:32
s needed to deal with certain plural phenomena correctly. Normally this leads to the introduction of second order variables and, allowing quantification over such variables, to the extension of the language to one of second order type. However there is no complete calculus for second order logic. Th
dialect
发表于 2025-3-29 05:19:12
http://reply.papertrans.cn/67/6639/663821/663821_44.png
亚当心理阴影
发表于 2025-3-29 08:43:34
P. Königs needed to deal with certain plural phenomena correctly. Normally this leads to the introduction of second order variables and, allowing quantification over such variables, to the extension of the language to one of second order type. However there is no complete calculus for second order logic. Th
喧闹
发表于 2025-3-29 11:33:25
http://reply.papertrans.cn/67/6639/663821/663821_46.png
大方一点
发表于 2025-3-29 15:59:54
http://reply.papertrans.cn/67/6639/663821/663821_47.png