易碎 发表于 2025-3-28 16:11:16

http://reply.papertrans.cn/28/2709/270829/270829_41.png

acrophobia 发表于 2025-3-28 20:14:20

http://reply.papertrans.cn/28/2709/270829/270829_42.png

Melanocytes 发表于 2025-3-29 00:28:54

http://reply.papertrans.cn/28/2709/270829/270829_43.png

PLIC 发表于 2025-3-29 05:44:20

http://reply.papertrans.cn/28/2709/270829/270829_44.png

柳树;枯黄 发表于 2025-3-29 09:35:24

History, Education, and the SchoolsIn this contribution we combine some term logics as to produce a synthetic term logic. We accomplish this goal by following a color mixing metaphor: the way color addition and substraction work are pretty much like joints and meets between logics, and so we can think of combining logics as a process of color mixing.

Infant 发表于 2025-3-29 13:02:10

http://reply.papertrans.cn/28/2709/270829/270829_46.png

翻动 发表于 2025-3-29 18:13:33

http://reply.papertrans.cn/28/2709/270829/270829_47.png

卵石 发表于 2025-3-29 23:08:54

http://reply.papertrans.cn/28/2709/270829/270829_48.png

战役 发表于 2025-3-30 01:50:02

http://reply.papertrans.cn/28/2709/270829/270829_49.png

tattle 发表于 2025-3-30 06:06:50

http://reply.papertrans.cn/28/2709/270829/270829_50.png
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Diagrammatic Representation and Inference; 13th International C Valeria Giardino,Sven Linker,Petrucio Viana Conference proceedings 2022 Spr