机译:抽象逻辑,逻辑映射和逻辑同态
Instituto de Matemática Departamento de Ciência da Computação Laboratório de Sistemas Distribuídos–LaSiD Federal University of Bahia – UFBA Av. Ademar de Barros CEP 40170-110 Salvador da Bahia BA Brazil;
Primary 03B22; Secondary 54A99; 03G30; Abstract logics; logic maps; logic translations; logic homomorphism; universal logic; topology; institutions;
机译:分类抽象代数逻辑:莱布尼兹等式和同态定理
机译:2014年符号逻辑逻辑集体讨论会欧洲夏季会议'14维也纳,奥地利2014年7月14日至19日摘要(2015年第21卷,第85页)
机译:2014 SYMBOLIC LOGIC LOGIC COLLOQUIUM '14协会欧洲夏季会议,奥地利维也纳,2014年7月14日至19日,摘要
机译:模糊逻辑的抽象方法:含义半线性逻辑
机译:抽象逻辑和一阶逻辑的扩展
机译:微流体逻辑门:压力驱动的两输入3D微流体逻辑门(Adv。Sci。2/2020)
机译:具有结构化背景知识的学习逻辑程序☆☆本文的扩展摘要发表在:L.De Raedt(Ed。),第五届国际归纳逻辑编程研讨会论文集,日本东京,1995年,第53-76页,鲁汶大学(Keholieke Leuven)计算机科学系的科学报告,以及会议后论文集:L.De Raedt(Ed。),归纳逻辑程序设计进展,IOS出版社,阿姆斯特丹/欧姆沙,东京,1996年,第pp。 172–191。