Adapting functional programs to higher order logic

被引：10

作者：

School of Computing, University of Utah, Salt Lake City, United States ^{[1
]}

机构：

来源：

High Order Symbol Comput | 2008年 / 4卷 / 377-409期

关键词：

Formal logic;

D O I：

10.1007/s10990-008-9038-0

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[41] Using Circular Programs for Higher-Order Syntax Functional pearl
Axelsson, Emil
Claessen, Koen
ACM SIGPLAN NOTICES, 2013, 48 (09) : 257 - 262
[42] FUNCTIONAL COMPUTATIONS IN LOGIC PROGRAMS
DEBRAY, SK
WARREN, DS
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (03): : 451 - 481
[43] A LOGIC FOR NONDETERMINISTIC FUNCTIONAL PROGRAMS
GILLUEZAS, A
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 380 : 197 - 208
[44] Correction of functional logic programs
Alpuente, M
Ballis, D
Correa, FJ
Falaschi, M
PROGRAMMING LANGUAGES AND SYSTEMS, 2003, 2618 : 54 - 68
[45] The intricacies of three-valued extensional semantics for higher-order logic programs
Rondogiannis, Panos
Symeonidou, Ioanna
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2017, 17 (5-6) : 974 - 991
[46] The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs
Rondogiannis, Panos
Symeonidou, Ioanna
PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 5344 - 5348
[47] ON HIGHER-ORDER LOGIC
KOGALOVS.SR
DOKLADY AKADEMII NAUK SSSR, 1966, 171 (06): : 1272 - &
[48] A paraconsistent higher order logic
Villadsen, J
ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 2004, 3249 : 38 - 51
[49] HAUPTSATZ FOR HIGHER ORDER LOGIC
PRAWITZ, D
JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (03) : 452 - &
[50] Logic of higher order and truth
De Florio, Ciro
EPISTEMOLOGIA, 2014, 37 (01): : 79 - 95