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 条

[21] Tableaux for logic programming with strong negation
Akama, S
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1997, 1227 : 31 - 42
[22] Tableaux for constructive concurrent dynamic logic
Wijesekera, D
Nerode, A
ANNALS OF PURE AND APPLIED LOGIC, 2005, 135 (1-3) : 1 - 72
[23] Simplified Tableaux for STIT Imagination Logic
Olkhovikov, Grigory K.
Wansing, Heinrich
JOURNAL OF PHILOSOPHICAL LOGIC, 2019, 48 (06) : 981 - 1001
[24] Tableaux for the Logic of Strategically Knowing How
Li, Yanjun
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (379): : 379 - 391
[25] Graded tableaux for Rational Pavelka Logic
Di Lascio, L
Gisolfi, A
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2005, 20 (12) : 1273 - 1285
[26] Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions
Li, Yanjun
JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (02) : 451 - 473
[27] CONSTRUCTION OF TABLEAUX FOR CLASSICAL LOGIC: Tableaux as Combinations of Branches, Branches as Chains of Sets
Jarmuzek, Tomasz
LOGIC AND LOGICAL PHILOSOPHY, 2007, 16 (01) : 85 - 101
[28] Labelled Tableaux for Temporal Logic with Cardinality Constraints
Dixon, Clare
Konev, Boris
Schmidt, Renate A.
Tishkovsky, Dmitry
14TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2012), 2012, : 111 - 118
[29] Tableaux for Łukasiewicz Infinite-valued Logic
Nicola Olivetti
Studia Logica, 2003, 73 (1) : 81 - 111
[30] HTab: a Terminating Tableaux System for Hybrid Logic
Hoffmann, Guillaume
Areces, Carlos
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 231 (0C) : 3 - 19

← 1 2 3 4 5 →