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