user

LOGIC OF TIME AND CORRESPONDENCE THEORY IN VANBENTHAM SEMANTIC STUDIES

被引：0
|
作者：
PIZZI, C
机构：
来源：
LINGUA E STILE | 1985年 / 20卷 / 04期
关键词：
D O I：
暂无
中图分类号：
H [语言、文字];
学科分类号：
05 ;
摘要：
引用
收藏
页码：431 / 447
页数：17
相关论文
共 50 条
  • [1] Correspondence Theory of Semantic Information
    Milkowski, Marcin
    BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 2023, 74 (02): : 485 - 510
  • [2] CORRESPONDENCE THEORY FOR INTUITIONISTIC LOGIC
    RODENBURG, P
    JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (01) : 274 - 274
  • [3] A semantic measure of the execution time in linear logic
    de Carvalho, D.
    Pagani, M.
    de Falco, L. Tortora
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (20) : 1884 - 1902
  • [4] BRENTANO CRITICISM OF THE CORRESPONDENCE CONCEPTION OF TRUTH AND TARSKI SEMANTIC THEORY
    WOLENSKI, J
    TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 1989, 8 (02): : 105 - 110
  • [5] Logic of agreement:: foundations, semantic system and proof theory
    Custódio, LMM
    Pinto-Ferreira, C
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 1999, 20 (01) : 47 - 78
  • [6] Diffusion Hyperfeatures: Searching Through Time and Space for Semantic Correspondence
    Luo, Grace
    Dunlap, Lisa
    Park, Dong Huk
    Holynski, Aleksander
    Darrell, Trevor
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
  • [7] Semantic theory of finite lattice-valued propositional logic
    Pan XiaoDong
    Xu Yang
    SCIENCE CHINA-INFORMATION SCIENCES, 2010, 53 (10) : 2022 - 2031
  • [8] Semantic theory of finite lattice-valued propositional logic
    PAN XiaoDong 1
    2 Intelligent Control Development Center
    Science China(Information Sciences), 2010, 53 (10) : 2022 - 2031
  • [9] Semantic theory of finite lattice-valued propositional logic
    XiaoDong Pan
    Yang Xu
    Science China Information Sciences, 2010, 53 : 2022 - 2031
  • [10] Sahlqvist correspondence theory for second-order propositional modal logic
    Zhao, Zhiguang
    JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (03) : 577 - 598
12345