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. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/ISMVL.2017.16 | 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) |
Keywords | Field | DocType |
paraconsistent logics,fuzzy logics,non-deterministic matrices,logical matrices | Discrete mathematics,Algebra,Gödel,Computer science,Matrix (mathematics),Fuzzy logic,Semantics | Conference |
ISBN | Citations | PageRank |
978-1-5090-5497-8 | 2 | 0.40 |
References | Authors | |
9 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Arnon Avron | 1 | 1292 | 147.65 |
Yoni Zohar | 2 | 23 | 9.43 |