An Algebraic Presentation of Predicate Logic - (Extended Abstract)
An Algebraic Presentation of Predicate Logic - (Extended Abstract)
复制标题
谓词逻辑的代数表示 -（扩展摘要）
DOI：
10.1007/978-3-642-37075-5_26
复制
发表时间：
2013
影响因子：
3.2
通讯作者：
S. Staton
中科院分区：
文献类型：
--
作者：
S. Staton
我们提出了一个代数理论的谓词逻辑的一个片段。片段有析取、存在量化和相等。它不是一个经典意义上的代数理论，而是一个新的框架，我们称之为“参数化代数理论”。
我们证明了相关的代数表示，以计算机科学确定一种编程语言，其中每一种类型进行模型的代数理论。其结果是一个简单的函数逻辑编程语言。
我们提供了一个语法自由的表现定理，把双射与筛，范畴论的概念。
我们研究一般参数化代数理论的表示不变性，通过提供克隆理论。我们表明，参数化代数理论的特点一类丰富的单子。
We present an algebraic theory for a fragment of predicate logic. The fragment has disjunction, existential quantification and equality. It is not an algebraic theory in the classical sense, but rather within a new framework that we call 'parameterized algebraic theories'.
We demonstrate the relevance of this algebraic presentation to computer science by identifying a programming language in which every type carries a model of the algebraic theory. The result is a simple functional logic programming language.
We provide a syntax-free representation theorem which places terms in bijection with sieves, a concept from category theory.
We study presentation-invariance for general parameterized algebraic theories by providing a theory of clones. We show that parameterized algebraic theories characterize a class of enriched monads.
登录
查看更多内容
DOI：
10.1007/3-540-45406-3_5
发表时间：
2001-05
期刊：
--
影响因子：
--
作者：
M. Rodríguez-Artalejo
通讯作者：
M. Rodríguez-Artalejo
影响因子：
1
作者：
Kurz A
通讯作者：
Kurz A
计算机科学中的代数和余代数
DOI：
10.1007/978-3-642-22944-2_7
发表时间：
2011
期刊：
--
影响因子：
--
作者：
Balan A
通讯作者：
Balan A
计算机科学逻辑
DOI：
10.1007/978-3-642-15205-4_34
发表时间：
2010
期刊：
--
影响因子：
--
作者：
Nenov Y
通讯作者：
Nenov Y