PROOF THEORY AND SEMANTICS OF LOGIC PROGRAMS

被引：0

|

作者：

GAIFMAN, H

SHAPIRO, E

机构：

来源：

FOURTH ANNUAL SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE | 1989年

关键词：

D O I：

暂无

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：50 / 62

页数：13

相关论文

共 50 条

[1] THE SEMANTICS AND PROOF THEORY OF LINEAR LOGIC
AVRON, A
THEORETICAL COMPUTER SCIENCE, 1988, 57 (2-3) : 161 - 184
[2] PROOF THEORY OF EPISTEMIC LOGIC OF PROGRAMS
Maffezioli, Paolo
Naibo, Alberto
LOGIC AND LOGICAL PHILOSOPHY, 2014, 23 (03) : 301 - 328
[3] INTUITIONISTIC LAYERED GRAPH LOGIC: SEMANTICS AND PROOF THEORY
Docherty, Simon
Pym, David
LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (04)
[4] THE JUDGMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC - PROOF THEORY AND SEMANTICS
VALENTINI, S
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1992, 38 (01): : 39 - 58
[5] Special Issue: Logic: Between Semantics and Proof Theory Foreword
Arieli, Ofer
Konikowska, Beata
Rabinovich, Alexander
Zamansky, Anna
JOURNAL OF LOGIC AND COMPUTATION, 2016, 26 (01) : 1 - 6
[6] ON THE SEMANTICS OF LOGIC PROGRAMS
GABBRIELLI, M
LEVI, G
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 1 - 19
[7] Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic
Minari, Pierluigi
ADVANCES IN PROOF THEORY, 2016, 28 : 291 - 318
[8] Fresh Logic: proof-theory and semantics for FM and nominal techniques
Gabbay, Murdoch J.
Journal of Applied Logic, 2007, 5 (02) : 356 - 387
[9] The semantics of constraint logic programs
Jaffar, J
Maher, M
Marriott, K
Stuckey, P
JOURNAL OF LOGIC PROGRAMMING, 1998, 37 (1-3): : 1 - 46
[10] On the semantics of logic programs with preferences
Greco, Sergio
Trubitsyna, Irina
Zumpano, Ester
Journal of Artificial Intelligence Research, 1600, 30 : 501 - 523

← 1 2 3 4 5 →