The open logic and its relation to circumscription

Zuoquan Lin; Wei Li

doi:10.1007/BF02917057

The open logic and its relation to circumscription

Zuoquan Lin^*
, Wei Li

^*此作品的通讯作者

计算机学院

Peking University

科研成果: 期刊稿件 › 文章 › 同行评审

摘要

The open logic is defined by model theory which can be viewed as a process-based nonmonotonic logic. Some new notions and results of open logic are introduced. The relation of open logic to circumscription is studied, and the relationship between open logic and other nonmonotonic logics is pointed out as well.

源语言	英语
页（从-至）	44-53
页数	10
期刊	Science in China, Series E: Technological Sciences
卷	42
期	1
DOI	https://doi.org/10.1007/BF02917057
出版状态	已出版 - 2月 1999

访问文件

10.1007/BF02917057

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{a5eef51dd6a54f2ba9f18503caab03a0,

title = "The open logic and its relation to circumscription",

abstract = "The open logic is defined by model theory which can be viewed as a process-based nonmonotonic logic. Some new notions and results of open logic are introduced. The relation of open logic to circumscription is studied, and the relationship between open logic and other nonmonotonic logics is pointed out as well.",

keywords = "Circumscription, Nonmonotonic logic, Open logic",

author = "Zuoquan Lin and Wei Li",

year = "1999",

month = feb,

doi = "10.1007/BF02917057",

language = "英语",

volume = "42",

pages = "44--53",

journal = "Science in China, Series E: Technological Sciences",

issn = "1006-9321",

publisher = "Science Press ",

number = "1",

}

TY - JOUR

T1 - The open logic and its relation to circumscription

AU - Lin, Zuoquan

AU - Li, Wei

PY - 1999/2

Y1 - 1999/2

N2 - The open logic is defined by model theory which can be viewed as a process-based nonmonotonic logic. Some new notions and results of open logic are introduced. The relation of open logic to circumscription is studied, and the relationship between open logic and other nonmonotonic logics is pointed out as well.

AB - The open logic is defined by model theory which can be viewed as a process-based nonmonotonic logic. Some new notions and results of open logic are introduced. The relation of open logic to circumscription is studied, and the relationship between open logic and other nonmonotonic logics is pointed out as well.

KW - Circumscription

KW - Nonmonotonic logic

KW - Open logic

UR - https://www.scopus.com/pages/publications/0041781294

U2 - 10.1007/BF02917057

DO - 10.1007/BF02917057

M3 - 文章

AN - SCOPUS:0041781294

SN - 1006-9321

VL - 42

SP - 44

EP - 53

JO - Science in China, Series E: Technological Sciences

JF - Science in China, Series E: Technological Sciences

IS - 1

ER -

The open logic and its relation to circumscription

摘要

访问文件

其它文件与链接

指纹

引用此