FOUNDATIONS WITHOUT FOUNDATIONALISM - A CASE FOR SECOND-ORDER LOGIC - SHAPIRO,S

被引：0
|
作者：
SHER, G
机构：
来源：
PHILOSOPHICAL REVIEW | 1994年 / 103卷 / 01期
关键词：
D O I：
10.2307/2185879
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：150 / 153
页数：4
相关论文
共 50 条
  • [31] Entity Correspondence with Second-Order Markov Logic
    Xu, Ying
    Gao, Zhiqiang
    Wilson, Campbell
    Zhang, Zhizheng
    Zhu, Man
    Ji, Qiu
    WEB INFORMATION SYSTEMS ENGINEERING - WISE 2013, PT I, 2013, 8180 : 1 - 14
  • [32] Circle graphs and monadic second-order logic
    LaBRI, Université Bordeaux 1, CNRS, 351 Cours de la libération, 33405 Talence Cedex, France
    Journal of Applied Logic, 2008, 6 (03) : 416 - 442
  • [33] Boolean-Valued Second-Order Logic
    Ikegami, Daisuke
    Vaananen, Jouko
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2015, 56 (01) : 167 - 190
  • [34] Existential second-order logic over strings
    Eiter, T
    Gottlob, G
    Gurevich, Y
    JOURNAL OF THE ACM, 2000, 47 (01) : 77 - 131
  • [35] SOGrounder: Modelling and Solving Second-Order Logic
    van der Hallen, Matthias
    Janssens, Gerda
    SIXTEENTH INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2018, : 72 - 76
  • [36] Monadic Second-Order Logic on Finite Sequences
    D'Antoni, Loris
    Veanes, Margus
    ACM SIGPLAN NOTICES, 2017, 52 (01) : 232 - 245
  • [37] A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic
    Sorensen, Morten H.
    Urzyczyn, Pawel
    NOTRE DAME JOURNAL OF FORMAL LOGIC, 2010, 51 (04) : 457 - 473
  • [38] On translations of temporal logic of actions into monadic second-order logic
    Rabinovich, A
    THEORETICAL COMPUTER SCIENCE, 1998, 193 (1-2) : 197 - 214
  • [39] From finitary to infinitary second-order logic
    Weaver, G
    Penev, I
    MATHEMATICAL LOGIC QUARTERLY, 2005, 51 (05) : 499 - 506
  • [40] ON THE PARAMETERIZED INTRACTABILITY OF MONADIC SECOND-ORDER LOGIC
    Kreutzer, Stephan
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (01)
12345