@inproceedings{de910b8ca2a84cbead13ee54d83f21ed,
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 = "الولايات المتّحدة",
}