ON A TABLEAUX METHOD FOR NUMERICAL TERM LOGIC

被引：1
|
作者：
Martin Castro-Manzano, Jose [1 ]
机构：
[1] UPAEP, Fac Filosofia, Puebla, Estado De Puebl, Mexico
来源：
ANDAMIOS | 2019年 / 16卷 / 41期
关键词：
Semantic trees; term logic; non-classical quantifiers;
D O I：
10.29092/uacm.v16i41.717
中图分类号：
C [社会科学总论];
学科分类号：
03 ; 0303 ;
摘要：
In this contribution we propose a tableaux method for Murphree's Numerical Term Logic. The result is an analytic tableaux method for propositional logic, apodictic syllogistic, relational syllogistic, intermediate syllogistic, and numerical syllogistic.
引用
收藏
页码：103 / 125
页数：23
相关论文
共 50 条
  • [1] Murphree's Numerical Term Logic Tableaux
    Martin Castro-Manzano, J.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2020, 354 (354) : 17 - 28
  • [2] A Tableaux Method for Modal Term Logic
    Martin Castro-Manzano, J.
    OPEN INSIGHT, 2020, 11 (23): : 165 - 180
  • [3] Free variable tableaux for a logic with term declarations
    Martín, PJ
    Gavilanes, A
    Leach, J
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 202 - 216
  • [4] A METHOD FOR DESIGN REASONING USING LOGIC: FROM SEMANTIC TABLEAUX TO DESIGN TABLEAUX
    Hendriks, Lex
    Kazakci, Akin Osman
    PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN (ICED 11): IMPACTING SOCIETY THROUGH ENGINEERING DESIGN, VOL 2: DESIGN THEORY & RESEARCH METHODOLOGY, 2011, 2 : 275 - 286
  • [5] TABLEAUX FOR LOGIC PROGRAMMING
    FITTING, M
    JOURNAL OF AUTOMATED REASONING, 1994, 13 (02) : 175 - 188
  • [6] Tableaux for logic of paradox
    Lin, Zuoquan
    Li, Wei
    Ruan Jian Xue Bao/Journal of Software, 1996, 7 (06): : 345 - 353
  • [7] Tableaux for Acceptance Logic
    de Boer, Mathijs
    Herzig, Andreas
    de Lima, Tiago
    Lorini, Emiliano
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VII, 2010, 5948 : 85 - +
  • [8] SELECTIVE FILTRATION IN MODAL LOGIC .A. SEMANTIC TABLEAUX METHOD
    GABBAY, DM
    THEORIA, 1970, 36 : 323 - 330
  • [9] Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS
    Aguilera-Venegas, Gabriel
    Luis Galan-Garcia, Jose
    Angeles Galan-Garcia, Maria
    Rodriguez-Cielos, Pedro
    International Journal for Technology in Mathematics Education, 2015, 22 (02): : 85 - 91
  • [10] SEMANTIC TABLEAUX FOR A LOGIC WITH IDENTITY
    BENCIVENGA, E
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (03): : 241 - 247
12345