Mathematical Sciences: Connections Between Logic, Universal Algebra, and the Algebraic Theory of Data Types

数学科学：逻辑、通用代数和数据类型代数理论之间的联系

• 批准号: 8805870
• 负责人: Don Pigozzi
• 金额: $ 4.52万
• 依托单位: Iowa State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-03-01 至 1992-02-29
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8805870&HistoricalAwards=false
• 关键词: Mathematical; Sciences; Connections; Between; Logic

8805870 Pigozzi The systematic investigation of the connection between quasi- equational and propositional logic has recently begun. The investigator will continue his work in this area. In particular he intends to extend the theory of commutators in universal algebra to relatively congruence-modular quasivarieties and filter-modular deductive systems. He also proposes to investigate possible applications to the algebraic theory of data types and to the connection between equational and Horn logic programming.

8805870 Pigozzi 最近开始对拟方程逻辑和命题逻辑之间的联系进行系统研究。 调查员将继续该领域的工作。 特别是，他打算将通用代数中的交换子理论扩展到相对同余模拟变量和滤波器模演绎系统。 他还建议研究数据类型代数理论以及方程和霍恩逻辑编程之间的联系的可能应用。