Instantiation as partial identity

被引：0
|
作者：
Baxter, DLM [1 ]
机构：
[1] Univ Connecticut, Storrs, CT 06269 USA
来源：
AUSTRALASIAN JOURNAL OF PHILOSOPHY | 2001年 / 79卷 / 04期
关键词：
D O I：
暂无
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：449 / 464
页数：16
相关论文
共 50 条
  • [21] Partial Instantiation Methods for Inference in First-Order Logic
    J. N. Hooker
    G. Rago
    V. Chandru
    A. Shrivastava
    Journal of Automated Reasoning, 2002, 28 : 371 - 396
  • [22] Partial instantiation methods for inference in first-order logic
    Hooker, J.N., 1600, Kluwer Academic Publishers (28):
  • [23] Incremental algorithms for optimizing model computation based on partial instantiation
    Ng, RT
    Tian, XM
    JOURNAL OF LOGIC PROGRAMMING, 1997, 30 (03): : 179 - 204
  • [24] Partial instantiation methods for inference in first-order logic
    Hooker, JN
    Rago, G
    Chandru, V
    Shrivastava, A
    JOURNAL OF AUTOMATED REASONING, 2002, 28 (04) : 371 - 396
  • [25] Identity-based matchmaking encryption with stronger security and instantiation on lattices
    Wang, Yuejun
    Wang, Baocang
    Lai, Qiqi
    Zhan, Yu
    THEORETICAL COMPUTER SCIENCE, 2025, 1029
  • [26] A reduction method for theorem proving based on the partial-instantiation technique
    Yamamoto, M
    Ohuchi, A
    DECISION SUPPORT SYSTEMS, 1998, 23 (02) : 189 - 199
  • [27] The Partial Identity Account of Partial Similarity Revisited
    Matteo Morganti
    Philosophia, 2011, 39 : 527 - 546
  • [28] The Partial Identity Account of Partial Similarity Revisited
    Morganti, Matteo
    PHILOSOPHIA, 2011, 39 (03) : 527 - 546
  • [29] The instantiation of values
    Balazs, Zoltan
    SPRINGERPLUS, 2013, 2
  • [30] Against Instantiation
    Fruge, Christopher
    AUSTRALASIAN JOURNAL OF PHILOSOPHY, 2024,
12345