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

Arnon Avron, Yoni Zohar

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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 languageEnglish
Title of host publicationProceedings - 2017 IEEE 47th International Symposium on Multiple-Valued Logic, ISMVL 2017
PublisherIEEE Computer Society
Pages118-123
Number of pages6
ISBN (Electronic)9781509054954
DOIs
StatePublished - 30 Jun 2017
Event47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017 - Novi Sad, Serbia
Duration: 22 May 201724 May 2017

Publication series

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

Conference

Conference47th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2017
Country/TerritorySerbia
CityNovi Sad
Period22/05/1724/05/17

Keywords

  • fuzzy logics
  • logical matrices
  • non-deterministic matrices
  • paraconsistent logics

Fingerprint

Dive into the research topics of 'Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions'. Together they form a unique fingerprint.

Cite this