Parametric logic: Foundations

Zuoquan Lin; Wei Li

Parametric logic: Foundations

Zuoquan Lin^*
, Wei Li

^*Corresponding author for this work

School of Computer Science and Engineering

Shantou University

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

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.

Original language	English
Pages (from-to)	1009-1024
Number of pages	16
Journal	Science in China Series A-Mathematics Physics Astronomy and Technological Science
Volume	38
Issue number	8
State	Published - Aug 1995

Keywords

first-order logic
generic modal logic
parametric logic

Cite this

@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

Abstract

Keywords

Other files and links

Fingerprint

Cite this