Some criteria of decidability for axiomatic systems in three-valued logic

I. D. Zaslavsky

doi:10.1007/978-3-540-75144-1_18

Some criteria of decidability for axiomatic systems in three-valued logic

I. D. Zaslavsky

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Two criteria of decidability for axiomatic systems based on J.Lukasiewicz's three-valued logic are established.

Original language	English
Title of host publication	Logic, Language, and Computation - 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Revised Selected Pacers
Publisher	Springer Verlag
Pages	247-259
Number of pages	13
ISBN (Print)	9783540751434
DOIs	https://doi.org/10.1007/978-3-540-75144-1_18
State	Published - 1 Jan 2007
Externally published	Yes
Event	6th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2005 - Batumi, Georgia Duration: 12 Sep 2005 → 16 Sep 2005

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4363 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2005
Country/Territory	Georgia
City	Batumi
Period	12/09/05 → 16/09/05

Keywords

Luk-consistent theory
Luk-decidable theory
Luk-theory
Lukcomplete theory
Three-valued predicate

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-540-75144-1_18

Cite this

Zaslavsky, I. D. (2007). Some criteria of decidability for axiomatic systems in three-valued logic. In Logic, Language, and Computation - 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Revised Selected Pacers (pp. 247-259). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4363 LNAI). Springer Verlag. https://doi.org/10.1007/978-3-540-75144-1_18

Zaslavsky, I. D. / Some criteria of decidability for axiomatic systems in three-valued logic. Logic, Language, and Computation - 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Revised Selected Pacers. Springer Verlag, 2007. pp. 247-259 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{3eabe8cc6ea04c80a8ab647b3c1aa89b,

title = "Some criteria of decidability for axiomatic systems in three-valued logic",

abstract = "Two criteria of decidability for axiomatic systems based on J.Lukasiewicz's three-valued logic are established.",

keywords = "Luk-consistent theory, Luk-decidable theory, Luk-theory, Lukcomplete theory, Three-valued predicate",

author = "Zaslavsky, {I. D.}",

year = "2007",

month = jan,

day = "1",

doi = "10.1007/978-3-540-75144-1_18",

language = "English",

isbn = "9783540751434",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "247--259",

booktitle = "Logic, Language, and Computation - 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Revised Selected Pacers",

address = "Germany",

note = "6th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2005 ; Conference date: 12-09-2005 Through 16-09-2005",

}

Zaslavsky, ID 2007, Some criteria of decidability for axiomatic systems in three-valued logic. in Logic, Language, and Computation - 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Revised Selected Pacers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4363 LNAI, Springer Verlag, pp. 247-259, 6th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2005, Batumi, Georgia, 12/09/05. https://doi.org/10.1007/978-3-540-75144-1_18

Some criteria of decidability for axiomatic systems in three-valued logic. / Zaslavsky, I. D.
Logic, Language, and Computation - 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Revised Selected Pacers. Springer Verlag, 2007. p. 247-259 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4363 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Some criteria of decidability for axiomatic systems in three-valued logic

AU - Zaslavsky, I. D.

PY - 2007/1/1

Y1 - 2007/1/1

N2 - Two criteria of decidability for axiomatic systems based on J.Lukasiewicz's three-valued logic are established.

AB - Two criteria of decidability for axiomatic systems based on J.Lukasiewicz's three-valued logic are established.

KW - Luk-consistent theory

KW - Luk-decidable theory

KW - Luk-theory

KW - Lukcomplete theory

KW - Three-valued predicate

UR - http://www.scopus.com/inward/record.url?scp=38049185360&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-75144-1_18

DO - 10.1007/978-3-540-75144-1_18

M3 - Conference contribution

AN - SCOPUS:38049185360

SN - 9783540751434

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 247

EP - 259

BT - Logic, Language, and Computation - 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Revised Selected Pacers

PB - Springer Verlag

T2 - 6th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2005

Y2 - 12 September 2005 through 16 September 2005

ER -

Zaslavsky ID. Some criteria of decidability for axiomatic systems in three-valued logic. In Logic, Language, and Computation - 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Revised Selected Pacers. Springer Verlag. 2007. p. 247-259. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-75144-1_18

Some criteria of decidability for axiomatic systems in three-valued logic

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this