Towards a model theory of diagrams
Towards a model theory of diagrams
复制标题
走向图的模型理论
DOI：
--
复制
发表时间：
1996
影响因子：
1.5
通讯作者：
N. Danner
中科院分区：
文献类型：
--
作者：
E. Hammer;N. Danner
研究一个逻辑系统，它的良构表示由图而不是公式组成。由于Shin [2，3]，该系统被证明是完备的，通过关于最大相容图集的论证。由于缺乏一个直接对应于图的原子公式，以及缺乏一个对应于大多数图的否定，论证变得复杂。
A logical system is studied whose well-formed representations consist of diagrams rather than formulas. The system, due to Shin [2, 3], is shown to be complete by an argument concerning maximally consistent sets of diagrams. The argument is complicated by the lack of a straight forward counterpart of atomic formulas for diagrams, and by the lack of a counterpart of negation for most diagrams.