逻辑和证明研究中使用允许名词项和集合的量词
@第{Gabbay2015QuantifiersIL条, title={逻辑和证明搜索中使用允许的名词术语和集合的量词}, author={默多克·詹姆斯·加巴伊(Murdoch James Gabbay)和克劳斯·彼得·沃思(Claus-Peter Wirth}), 日志={J.Log.Comput.}, 年份={2015年}, 体积={25}, 页码={473-523}, url={https://api.semanticscholar.org/CorpusID:24742143} }
一篇引文
58参考文献
自由变量语义表中delta-Rule的进一步有效自由化
1998
允许命名逻辑:标称项和集合上的一阶逻辑
2012
自由变量语义表中δ规则变体的一个完善框架
2006
并发的超序列、逻辑结果和中间逻辑
2005