A NOTE ON EXISTENTIAL INSTANTIATION

被引：1
|
作者：
PRAWITZ, D
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1967年 / 32卷 / 01期
关键词：
D O I：
10.2307/2271245
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：81 / &
相关论文
共 50 条
  • [21] The Relation of Instantiation
    Alvarado Marambio, Jose Tomas
    FILOZOFIA NAUKI, 2013, 21 (02): : 31 - +
  • [22] Instantiation as location
    Sam Cowling
    Philosophical Studies, 2014, 167 : 667 - 682
  • [23] Theory instantiation
    Ganzinger, Harald
    Korovin, Konstantin
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2006, 4246 : 497 - 511
  • [24] Trustworthy instantiation of frameworks
    Assmann, Uwe
    Bartho, Andreas
    Hartmann, Falk
    Savga, Ilie
    Wittek, Barbara
    ARCHITECTING SYSTEMS WITH TRUSTWORTHY COMPONENTS, 2006, 3938 : 152 - 168
  • [25] PROGRAM ABSTRACTION AND INSTANTIATION
    DERSHOWITZ, N
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (03): : 446 - 477
  • [26] Instantiation is not partial identity
    Mantegani, Nicholas
    PHILOSOPHICAL STUDIES, 2013, 163 (03) : 697 - 715
  • [27] Revisiting Enumerative Instantiation
    Reynolds, Andrew
    Barbosa, Haniel
    Fontaine, Pascal
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II, 2018, 10806 : 112 - 131
  • [28] DERIVABILITY OF INSTANTIATION PROPERTIES
    FRIEDMAN, H
    JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (04) : 506 - 514
  • [29] INSTANTIATION OF GENERAL TERMS
    ANDERSON, RC
    PICHERT, JW
    GOETZ, ET
    SCHALLERT, DL
    STEVENS, KV
    TROLLIP, SR
    JOURNAL OF VERBAL LEARNING AND VERBAL BEHAVIOR, 1976, 15 (06): : 667 - 679
  • [30] Hierarchical instantiation for radiosity
    Soler, C
    Sillion, F
    RENDERING TECHNIQUES 2000, 2000, : 173 - +
12345