...
机译:命题非经典逻辑的有效关系演绎系统
Dipartimento di Informatica Universita di L 'Aquila via Vetoio, loc. Coppito I-67010 L'Aquila (Italy);
rasiowa-sikorski proof systems; relational reasoning; non-classical logics;
机译:命题演绎系统中的解释的顺序理论分析(第164卷,第112页,2013年)
机译:命题演绎系统中解释的顺序理论分析
机译:关系数据库依赖的形式系统的健全性:Tableau演绎系统的应用
机译:高效循环检查一些非古典命题逻辑中的后向防范搜索
机译:完整的概率逻辑演绎系统,应用于Harsanyi型空间。
机译:一种使用QCA实现具有成本效益的算术逻辑电路的新型可逆逻辑门及其系统方法
机译:某些非经典命题逻辑中用于向后证明搜索的有效循环检查
机译:处理器验证使用有效减少未解释函数的逻辑到命题逻辑