ELEMENTARY LOGIC

被引：0
|
作者：
MONK, D
机构：
来源：
AMERICAN MATHEMATICAL MONTHLY | 1966年 / 73卷 / 4P1期
关键词：
D O I：
10.2307/2315445
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：432 / &
相关论文
共 50 条
  • [41] Phase semantics and decidability of elementary affine logic
    Dal Lago, U
    Martini, S
    THEORETICAL COMPUTER SCIENCE, 2004, 318 (03) : 409 - 433
  • [42] THE STRUCTURE OF MANY-SORTED ELEMENTARY LOGIC
    KAPHENGST, H
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (01): : 39 - 56
  • [43] A feasible algorithm for typing in elementary affine logic
    Baillot, P
    Terui, K
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 55 - 70
  • [44] An elementary definability theorem for first order logic
    Butz, C
    Moerdijk, I
    JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (03) : 1028 - 1036
  • [45] ELEMENTARY FORMAL SYSTEM AS A LOGIC PROGRAMMING LANGUAGE
    YAMAMOTO, A
    LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 485 : 73 - 86
  • [46] Computation paths logic: An expressive, yet elementary, process logic (abridged version)
    Harel, D
    Singerman, E
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1997, 1256 : 408 - 418
  • [47] METACRITIQUE OF FORMAL LOGIC - SENSORY CERTAINTY AS HORIZON OF PROPOSITIONAL LOGIC AND ELEMENTARY LOGIC OF PREDICATES - GERMAN - ELEY,L
    KALINOWSKI, G
    ETUDES PHILOSOPHIQUES, 1970, (03): : 402 - 403
  • [48] ELEMENTARY EQUIVALENCE IN POSITIVE LOGIC VIA PRIME PRODUCTS
    Moraschini, Tommaso
    Wannenburg, Johann J.
    Yamamoto, Kentaro
    JOURNAL OF SYMBOLIC LOGIC, 2023,
  • [49] An elementary optical logic circuit for quantum computing: a review
    Saharia, Ankur
    Maddila, Ravi Kumar
    Ali, Jalil
    Yupapin, Preecha
    Singh, Ghanshyam
    OPTICAL AND QUANTUM ELECTRONICS, 2019, 51 (07)
  • [50] On Elementary Loops and Proper Loops for Disjunctive Logic Programs
    Ji, Jianmin
    Wan, Hai
    Xiao, Peng
    PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1518 - 1524
12345