Parametric logic: Foundations

Zuoquan Lin; Wei Li

Parametric logic: Foundations

Zuoquan Lin^*
, Wei Li

^*此作品的通讯作者

计算机学院

Shantou University

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

摘要

Parametric logic is introduced. The language, semantics and axiom system of parametric logic are defined. Completeness theorem of parametric logic is provided. Parametric logic has formal ability powerful enough to capture a wide class of logic as its special cases, and therefore can be viewed as a uniform basis for modem logics.

源语言	英语
页（从-至）	1009-1024
页数	16
期刊	Science in China Series A-Mathematics Physics Astronomy and Technological Science
卷	38
期	8
出版状态	已出版 - 8月 1995

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{c124e3d73ad54cbea96e101e267654e2,

title = "Parametric logic: Foundations",

abstract = "Parametric logic is introduced. The language, semantics and axiom system of parametric logic are defined. Completeness theorem of parametric logic is provided. Parametric logic has formal ability powerful enough to capture a wide class of logic as its special cases, and therefore can be viewed as a uniform basis for modem logics.",

keywords = "first-order logic, generic modal logic, parametric logic",

author = "Zuoquan Lin and Wei Li",

year = "1995",

month = aug,

language = "英语",

volume = "38",

pages = "1009--1024",

journal = "Science in China Series A-Mathematics Physics Astronomy and Technological Science",

issn = "1001-6511",

publisher = "Science Press (China)",

number = "8",

}

TY - JOUR

T1 - Parametric logic

T2 - Foundations

AU - Lin, Zuoquan

AU - Li, Wei

PY - 1995/8

Y1 - 1995/8

N2 - Parametric logic is introduced. The language, semantics and axiom system of parametric logic are defined. Completeness theorem of parametric logic is provided. Parametric logic has formal ability powerful enough to capture a wide class of logic as its special cases, and therefore can be viewed as a uniform basis for modem logics.

AB - Parametric logic is introduced. The language, semantics and axiom system of parametric logic are defined. Completeness theorem of parametric logic is provided. Parametric logic has formal ability powerful enough to capture a wide class of logic as its special cases, and therefore can be viewed as a uniform basis for modem logics.

KW - first-order logic

KW - generic modal logic

KW - parametric logic

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

M3 - 文章

AN - SCOPUS:58149322840

SN - 1001-6511

VL - 38

SP - 1009

EP - 1024

JO - Science in China Series A-Mathematics Physics Astronomy and Technological Science

JF - Science in China Series A-Mathematics Physics Astronomy and Technological Science

IS - 8

ER -

Parametric logic: Foundations

摘要

其它文件与链接

学术指纹

引用此