QUANTIFIERS IN COMBINATORY PDL - COMPLETENESS, DEFINABILITY, INCOMPLETENESS

被引：0
|
作者：
PASSY, S
TINCHEV, T
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 199卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：512 / 519
页数：8
相关论文
共 50 条
  • [41] Undecidability, Incompleteness, and Completeness of Second-Order Logic in Coq
    Koch, Mark
    Kirst, Dominik
    PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 274 - 290
  • [42] Weak Completeness Theorem of Logic System MTLQ with Linguistic Quantifiers
    Zhang, Xiaohong
    Zeng, Xu
    2011 AASRI CONFERENCE ON APPLIED INFORMATION TECHNOLOGY (AASRI-AIT 2011), VOL 1, 2011, : 283 - 286
  • [43] Completeness of type assignment systems with intersection, union, and type quantifiers
    Yokouchi, H
    THEORETICAL COMPUTER SCIENCE, 2002, 272 (1-2) : 341 - 398
  • [44] MODEL-COMPLETENESS AND ELIMINATION OF QUANTIFIERS FOR SUBDIRECT PRODUCTS OF STRUCTURES
    WEISPFENNING, V
    JOURNAL OF ALGEBRA, 1975, 36 (02) : 252 - 277
  • [45] Completeness of type assignment systems with intersection, union, and type quantifiers
    Yokouchi, H
    THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 368 - 379
  • [46] Completeness Out of Incompleteness: Inferences From Regularities in Imperfect Information Ensembles
    Zhu, Jingyin
    Xu, Haokui
    Shi, Bohao
    Lu, Yilong
    Chen, Hui
    Shen, Mowei
    Zhou, Jifan
    JOURNAL OF EXPERIMENTAL PSYCHOLOGY-HUMAN PERCEPTION AND PERFORMANCE, 2023, 49 (09) : 1203 - 1220
  • [47] From Godel's Incompleteness Theorem to the Completeness of Bot Beliefs (Extended Abstract)
    Pavlovic, Dusko
    Pavlovic, Temra
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2023, 2023, 13923 : 33 - 50
  • [48] Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic
    Dekkers, W
    Bunder, M
    Barendregt, H
    JOURNAL OF SYMBOLIC LOGIC, 1998, 63 (03) : 869 - 890
  • [49] Completeness versus Incompleteness: Binary Codification of the Pop Song "Que Marianne etait jolie"
    Wagner, Anne
    LAW & LITERATURE, 2018, 30 (01) : 53 - 80
  • [50] THE PROBLEM OF QUANTIFICATIONAL COMPLETENESS AND THE CHARACTERIZATION OF ALL PERFECT QUANTIFIERS IN 3-VALUED LOGICS
    CARNIELLI, WA
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1987, 33 (01): : 19 - 29
12345