Centro de Matematica, Universidade do Minho, Campus de Gualtar, P-4710-057 Braga, Portugal;
Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EE-12618 Tallinn, Estonia;
机译:通过标注的序列证明进行命题抽象分离逻辑的证明搜索
机译:具有子公式属性和最小深度反模型的直觉命题逻辑的无收缩线性深度后续计算
机译:双直觉命题序列阶段的证明理论研究
机译:用标记顺序的双直觉命题逻辑证明搜索和反模型构造
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:带有标记序列的双直觉命题逻辑的证明搜索和反模型构建
机译:正态模态命题逻辑的后续计算