机译:图论逻辑
Department of Mathematics, Instituto Superior Tecnico, TU Lisbon and SQIG, Instituto de Telecomunicacoes, Lisbon, Portugal;
Department of Mathematics, Instituto Superior Tecnico, TU Lisbon and SQIG, Instituto de Telecomunicacoes, Lisbon, Portugal;
Department of Mathematics, Instituto Superior Tecnico, TU Lisbon and SQIG, Instituto de Telecomunicacoes, Lisbon, Portugal;
Department of Philosophy and CLE, State University of Campinas, Brazil;
graph-theoretic account of logics; non-deterministic semantics; diagrammatic reasoning via morphisms; completeness results;
机译:逻辑图论纤维
机译:非交换线性逻辑乘法片段的图论特征定理
机译:在组合逻辑电路中找到最大超门的图论算法
机译:描述逻辑εL中最小公有消费者和最具体概念的图论一般化
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:逻辑约束下信念系统动力学的图论分析
机译:图论逻辑