Abstract
AbstractThe 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.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference28 articles.
1. The logic of paradox
2. Philosophische bemerkungen zu mehrwertigen systemen der aussagenlogik;Łukasiewicz;Comptes Rendus de la Siciete des Sciences et des Letters de Varsovie,1930
3. Studying sequent systems via non-deterministic multiple-valued matrices;Lahav;International Symposium on Multiple-Valued Logic,2013
4. On notation for ordinal numbers
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献