Presenting and combining inference systems presentations with inference rules

被引：0

作者：

Pawlowski, W ^{[1
]}

机构：

[1] Polish Acad Sci, Inst Comp Sci, PL-81825 Sopot, Poland

来源：

RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES | 2003年 / 2755卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The paper discusses the problem of representing and combining inference systems for (abstract) context institutions, within the framework of context presentations [10]. As it turns out, thanks to the context information present in this setting, the inference rules for quantifier logics can be expressed and manipulated in a simple way, without referring to binding operators or requirements (cf. [12]).

引用

页码：409 / 424

页数：16

共 50 条

[21] The Inference Graph of Cybersecurity Rules
Sheniar, Dawood
Hadaad, Nabeel
Addie, Ron
2019 29TH INTERNATIONAL TELECOMMUNICATION NETWORKS AND APPLICATIONS CONFERENCE (ITNAC), 2019,
[22] Update by means of inference rules
Przymusinski, TC
Turner, H
JOURNAL OF LOGIC PROGRAMMING, 1997, 30 (02): : 125 - 143
[23] THE LAYPERSON AS ARBITER OF RULES OF INFERENCE
NISBETT, RE
BEHAVIORAL AND BRAIN SCIENCES, 1981, 4 (03) : 349 - 350
[24] RULES OF INFERENCE IN MORAL REASONING
PIKE, N
MIND, 1961, 70 (279) : 391 - 399
[25] A CLASSIFICATION OF IMPROPER INFERENCE RULES
Sasaki, Katsumi
BULLETIN OF THE SECTION OF LOGIC, 2022, 51 (02): : 243 - 266
[26] Update by means of inference rules
Department of Computer Science, University of California, Riverside, CA 92521, United States
不详
J Logic Program, 2 (XI-143):
[27] Table admissible inference rules
Rimatskii, V. V.
ALGEBRA AND LOGIC, 2009, 48 (03) : 228 - 236
[28] Update by means of inference rules
Przymusinski, TC
Turner, H
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 156 - 174
[29] On If-Then-Else inference rules
Ruan, D
Kerre, EE
INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 1420 - 1425
[30] Eight Inference Rules for Implication
Michael Arndt
Studia Logica, 2019, 107 : 781 - 808

← 1 2 3 4 5 →