Paraconsistent fuzzy logic preserving non-falsity

Research output: Contribution to journalArticlepeer-review

Abstract

We introduce proof systems and semantics for two paraconsistent extensions of the system T of Anderson and Belnap, and prove strong soundness, completeness, and decidability for both. The semantics of both systems is based on excluding just one element from the set of designated values. One of the systems has the variable sharing property, and so it is a relevant logic. The other is an extension of the first that may be viewed as a semi-relevant counterpart of Łukasiewicz Logic which preserves non-falsity rather than truth.

Original languageEnglish
Pages (from-to)75-84
Number of pages10
JournalFuzzy Sets and Systems
Volume292
DOIs
StatePublished - 1 Jun 2016

Fingerprint

Dive into the research topics of 'Paraconsistent fuzzy logic preserving non-falsity'. Together they form a unique fingerprint.

Cite this