BriefGPT.xyz
Ask
alpha
关键词
peirce's existential graphs
搜索结果 - 1
MM
平衡图
本文提出一种 Peirce 存在图的扩展，以提供 Quantified Equilibrium Logic（QEL）表达式的图表表示。使用这种形式化方法，逻辑连接词被圆圈和正方形等区域所代替，量化变量则用 “身份” 线表示。虽然表达能力和
→
PDF
8 years ago
Prev
Next