Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions

Arnon Avron; Yoni Zohar

doi:10.1109/ismvl.2017.16

Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions

Arnon Avron, Yoni Zohar

Tel Aviv University

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

3 Scopus citations

Abstract

The operations ofexpansion and refinement on non-deterministic matrices(Nmatrices) are composed to form a new operation called rexpansion. Properties of this operation are investigated, together with their effects on the induced consequence relations. A semantic method for obtaining conservative extensions of matrix-defined logics is introduced and applied to fragments of the classical two-valued matrix, as well as to other well-known many-valued matrices. The central application of rexpansion that we present is the construction of truth-preserving paraconsistent conservative extensions of Gödel fuzzy logic.

Original language	English
Title of host publication	Proceedings - 2017 IEEE 47th International Symposium on Multiple-Valued Logic, ISMVL 2017
Publisher	IEEE Computer Society
Pages	118-123
Number of pages	6
ISBN (Electronic)	9781509054954
DOIs	https://doi.org/10.1109/ismvl.2017.16
State	Published - 30 Jun 2017
Externally published	Yes
Event	47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017 - Novi Sad, Serbia Duration: 22 May 2017 → 24 May 2017

Publication series

Name	Proceedings of The International Symposium on Multiple-Valued Logic
ISSN (Print)	0195-623X

Conference

Conference	47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017
Country/Territory	Serbia
City	Novi Sad
Period	22/05/17 → 24/05/17

Bibliographical note

Publisher Copyright:
© 2017 IEEE.

Keywords

fuzzy logics
logical matrices
non-deterministic matrices
paraconsistent logics

Access to Document

10.1109/ismvl.2017.16

Cite this

@inproceedings{593ffb0d28774c4998275327fce99653,

title = "Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions",

abstract = "The operations ofexpansion and refinement on non-deterministic matrices(Nmatrices) are composed to form a new operation called rexpansion. Properties of this operation are investigated, together with their effects on the induced consequence relations. A semantic method for obtaining conservative extensions of matrix-defined logics is introduced and applied to fragments of the classical two-valued matrix, as well as to other well-known many-valued matrices. The central application of rexpansion that we present is the construction of truth-preserving paraconsistent conservative extensions of G{\"o}del fuzzy logic.",

keywords = "fuzzy logics, logical matrices, non-deterministic matrices, paraconsistent logics",

author = "Arnon Avron and Yoni Zohar",

note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017 ; Conference date: 22-05-2017 Through 24-05-2017",

year = "2017",

month = jun,

day = "30",

doi = "10.1109/ismvl.2017.16",

language = "אנגלית",

series = "Proceedings of The International Symposium on Multiple-Valued Logic",

publisher = "IEEE Computer Society",

pages = "118--123",

booktitle = "Proceedings - 2017 IEEE 47th International Symposium on Multiple-Valued Logic, ISMVL 2017",

address = "ארצות הברית",

}

Avron, A & Zohar, Y 2017, Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions. in Proceedings - 2017 IEEE 47th International Symposium on Multiple-Valued Logic, ISMVL 2017., 7964977, Proceedings of The International Symposium on Multiple-Valued Logic, IEEE Computer Society, pp. 118-123, 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017, Novi Sad, Serbia, 22/05/17. https://doi.org/10.1109/ismvl.2017.16

Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions. / Avron, Arnon; Zohar, Yoni.
Proceedings - 2017 IEEE 47th International Symposium on Multiple-Valued Logic, ISMVL 2017. IEEE Computer Society, 2017. p. 118-123 7964977 (Proceedings of The International Symposium on Multiple-Valued Logic).

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

TY - GEN

T1 - Non-Deterministic Matrices in Action

T2 - 47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017

AU - Avron, Arnon

AU - Zohar, Yoni

PY - 2017/6/30

Y1 - 2017/6/30

N2 - The operations ofexpansion and refinement on non-deterministic matrices(Nmatrices) are composed to form a new operation called rexpansion. Properties of this operation are investigated, together with their effects on the induced consequence relations. A semantic method for obtaining conservative extensions of matrix-defined logics is introduced and applied to fragments of the classical two-valued matrix, as well as to other well-known many-valued matrices. The central application of rexpansion that we present is the construction of truth-preserving paraconsistent conservative extensions of Gödel fuzzy logic.

AB - The operations ofexpansion and refinement on non-deterministic matrices(Nmatrices) are composed to form a new operation called rexpansion. Properties of this operation are investigated, together with their effects on the induced consequence relations. A semantic method for obtaining conservative extensions of matrix-defined logics is introduced and applied to fragments of the classical two-valued matrix, as well as to other well-known many-valued matrices. The central application of rexpansion that we present is the construction of truth-preserving paraconsistent conservative extensions of Gödel fuzzy logic.

KW - fuzzy logics

KW - logical matrices

KW - non-deterministic matrices

KW - paraconsistent logics

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

U2 - 10.1109/ismvl.2017.16

DO - 10.1109/ismvl.2017.16

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:85026783713

T3 - Proceedings of The International Symposium on Multiple-Valued Logic

SP - 118

EP - 123

BT - Proceedings - 2017 IEEE 47th International Symposium on Multiple-Valued Logic, ISMVL 2017

PB - IEEE Computer Society

Y2 - 22 May 2017 through 24 May 2017

ER -

Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this