QUANTIFICATION OF PREDICATE AND MANY-SORTED LOGIC

被引：4
|
作者：
PARRY, WT [1 ]
机构：
[1] SUNY BUFFALO,BUFFALO,NY
来源：
PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH | 1966年 / 26卷 / 03期
关键词：
D O I：
10.2307/2106254
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：342 / 360
页数：19
相关论文
共 50 条
  • [1] COMPLETENESS OF MANY-SORTED EQUATIONAL LOGIC
    GOGUEN, JA
    MESEGUER, J
    HOUSTON JOURNAL OF MATHEMATICS, 1985, 11 (03): : 307 - 334
  • [2] THE STRUCTURE OF MANY-SORTED ELEMENTARY LOGIC
    KAPHENGST, H
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (01): : 39 - 56
  • [3] Decidable fragments of many-sorted logic
    Abadi, Aharon
    Rabinovich, Alexander
    Sagiv, Mooly
    JOURNAL OF SYMBOLIC COMPUTATION, 2010, 45 (02) : 153 - 172
  • [4] Decidable fragments of many-sorted logic
    Abadi, Aharon
    Rabinovich, Alexander
    Sagiv, Mooly
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 17 - +
  • [5] A Many-sorted Polyadic Modal Logic
    Leustean, Ioana
    Moanga, Natalia
    Serbanuta, Traian Florin
    FUNDAMENTA INFORMATICAE, 2020, 173 (2-3) : 191 - 215
  • [6] A Many-Sorted Epistemic Logic for Chromatic Hypergraphs
    Goubault, Eric
    Kniazev, Roman
    Ledent, Jeremy
    32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
  • [7] REMARKS ON REMARKS ON MANY-SORTED EQUATIONAL LOGIC
    GOGUEN, JA
    MESEGUER, J
    SIGPLAN NOTICES, 1987, 22 (04): : 41 - 48
  • [8] Quine’s conjecture on many-sorted logic
    Thomas William Barrett
    Hans Halvorson
    Synthese, 2017, 194 : 3563 - 3582
  • [9] Quine's conjecture on many-sorted logic
    Barrett, Thomas William
    Halvorson, Hans
    SYNTHESE, 2017, 194 (09) : 3563 - 3582
  • [10] Rule Mining using Many-sorted Logic
    Hudli, Shrihari A.
    Hudli, Aditi A.
    Hudli, Anand V.
    SOUVENIR OF THE 2014 IEEE INTERNATIONAL ADVANCE COMPUTING CONFERENCE (IACC), 2014, : 463 - 466
12345