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

^*Corresponding author for this work

School of Computer Science and Engineering

Peking University

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	44-53
Number of pages	10
Journal	Science in China, Series E: Technological Sciences
Volume	42
Issue number	1
DOIs	https://doi.org/10.1007/BF02917057
State	Published - Feb 1999

Keywords

Circumscription
Nonmonotonic logic
Open logic

Access to Document

10.1007/BF02917057

Cite this

@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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this