Rexpansions of nondeterministic matrices and their applications in nonclassical logics

Arnon Avron, Yoni Zohar

Research output: Contribution to journalArticlepeer-review

Abstract

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
Volume12
Issue number1
DOIs
StatePublished - 1 Mar 2019

Funding

FundersFunder number
Israel Science Foundation817-15

    Fingerprint

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

    Cite this