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] On If-Then-Else inference rules
Ruan, D
Kerre, EE
[J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 1420 - 1425
[22] Eight Inference Rules for Implication
Arndt, Michael
[J]. STUDIA LOGICA, 2019, 107 (04) : 781 - 808
[23] Scientific Fictions as Rules of Inference
Suarez, Mauricio
[J]. FICTIONS IN SCIENCE: PHILOSOPHICAL ESSAYS ON MODELING AND IDEALIZATION, 2009, : 158 - 178
[24] Update by means of inference rules
Przymusinski, TC
Turner, H
[J]. LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 156 - 174
[25] Eight Inference Rules for Implication
Michael Arndt
[J]. Studia Logica, 2019, 107 : 781 - 808
[26] THE LAYPERSON AS ARBITER OF RULES OF INFERENCE
NISBETT, RE
[J]. BEHAVIORAL AND BRAIN SCIENCES, 1981, 4 (03) : 349 - 350
[27] RULES OF INFERENCE IN MORAL REASONING
PIKE, N
[J]. MIND, 1961, 70 (279) : 391 - 399
[28] Lifted Inference Rules with Constraints
Mittal, Happy
Mahajan, Anuj
Gogate, Vibhav
Singla, Parag
[J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 28 (NIPS 2015), 2015, 28
[29] On the inference rules in legal logic
Xiong Minghui
[J]. SOCIAL SCIENCES IN CHINA, 2009, 30 (03) : 58 - 74
[30] RULES OF INFERENCE, OR SUPPRESSED PREMISSES
SLOMAN, A
[J]. MIND, 1964, 73 (289) : 84 - 96

← 1 2 3 4 5 →