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 language | English |
|---|---|
| Pages (from-to) | 173-200 |
| Number of pages | 28 |
| Journal | Review of Symbolic Logic |
| Volume | 12 |
| Issue number | 1 |
| DOIs | |
| State | Published - 1 Mar 2019 |
| Externally published | Yes |
Bibliographical note
Publisher Copyright:© Copyright 2018 Association for Symbolic Logic.
Funding
This research was supported by The Israel Science Foundation (grant no. 817-15).
| Funders | Funder number |
|---|---|
| Israel Science Foundation | 817-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
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver