Rexpansions of nondeterministic matrices and their applications in nonclassical logics

Arnon Avron, Yoni Zohar

Research output: Contribution to journalArticlepeer-review


The operations of expansion and refinement on nondeterministic 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. Using rexpansions, a semantic method for obtaining conservative extensions of (N)matrix-defined logics is introduced and applied to fragments of the classical two-valued matrix, as well as to other many-valued matrices and Nmatrices. The main application of this method is the construction and investigation of truth-preserving ¬-paraconsistent conservative extensions of Gödel fuzzy logic, in which ¬ has several desired properties. This is followed by some results regarding the relations between the constructed logics.

Original languageEnglish
Pages (from-to)173-200
Number of pages28
JournalReview of Symbolic Logic
Issue number1
StatePublished - 1 Mar 2019


FundersFunder number
Israel Science Foundation817-15


    Dive into the research topics of 'Rexpansions of nondeterministic matrices and their applications in nonclassical logics'. Together they form a unique fingerprint.

    Cite this