Journal Article
@Article
Artikel in Fachzeitschrift


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor(s)

Author(s):

Wu, Jinzhao
Tan, Hongyan
Li, Yongli

dblp
dblp
dblp



BibTeX cite key*:

Wutanli1998

Title

Title*:

An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics

Journal

Journal Title*:

Journal of Applied Non-Classical Logics

Journal's URL:


Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:

Hermes

Publisher's URL:


Publisher's
Address:

Paris, France

ISSN:

1166-3081

Vol, No, pp, Date

Volume*:

8

Number:

4

Publishing Date:

December 1998

Pages*:

353-360

Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:


(LaTeX) Abstract:

To decide whether a propositional formula can be deduced
from a finite set of formulas in a given many-valued logic
system, we only need to decide whether a polynomial vanishes on an algebraic variety. By using Wu's method, we present an algorithm for this deduction problem.

URL for the Abstract:


Categories,
Keywords:

Propositional Formulas, Deduction Problem, Algebraic Varieties.

HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, Fachbeirat


BibTeX Entry:

@ARTICLE{Wutanli1998,
AUTHOR = {Wu, Jinzhao and Tan, Hongyan and Li, Yongli},
TITLE = {An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics},
JOURNAL = {Journal of Applied Non-Classical Logics},
PUBLISHER = {Hermes},
YEAR = {1998},
NUMBER = {4},
VOLUME = {8},
PAGES = {353--360},
ADDRESS = {Paris, France},
MONTH = {December},
ISBN = {1166-3081},
}


Entry last modified by Christine Kiesel, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Jinzhao Wu
Created
01/12/1999 11:55:22 AM
Revisions
5.
4.
3.
2.
1.
Editor(s)
Christine Kiesel
Christine Kiesel
Uwe Brahm
Uwe Brahm
Uwe Brahm
Edit Dates
04.09.2001 11:26:45
30.08.2001 10:07:39
31.03.99 18:06:43
30.03.99 22:26:34
30.03.99 22:26:34