TY -的A2 -卡拉,哈米德盟——Voutsadakis乔治PY - 2013 DA - 2013/04/16 TI -分类抽象代数逻辑:Meet-Combination逻辑系统的SP - 126347六世- 2013 AB -逻辑系统的广泛和快速扩散计算机科学在一些地区已经导致了复苏的兴趣的各种方法结合逻辑系统和调查白纸继承了由此产生的组合。最古老的这样的方法之一 纤维空间。在纤维空间共享连接词的组合逻辑继承属性 这两个组件的逻辑系统,这导致经常不一致。处理这些不良反应,Sernadas et al .(2011、2012)最近推出了一种新型逻辑相结合的方法,调用 meet-combination,结合连接词只有分享 常见的他们喜欢在组件系统逻辑属性。他们在调查提供声音和具体完整微积分meet-combination根据可用的组件系统的声音和完整的结石。在这项工作中,一个努力使抽象结果绝对服从 分类抽象代数逻辑技术。SN - 2314 - 4629你2013/126347 / 10.1155——https://doi.org/10.1155/2013/126347——摩根富林明-数学杂志PB Hindawi出版公司KW - ER