On the problem of expressibility operations of characteristic matrices of paraconsistent and paracomplete logics

##plugins.themes.bootstrap3.article.main##

N.A. Znamenskaya

Abstract

The following expressibilities are constructed: (1) implication of every logical matrix $M_{PCont}$, $M_{PCont(1)}$ and $M_{PComp(1)}$ in terms of the operations of the logical matrix $M_{LPF}$, (2) implication of every logical matrix $M_{PCont}$, $M_{LPF}$ and $M_{PComp(1)}$ in terms of the operations of the logical matrix $M_{PCont(1)}$, (3) implication of every logical matrix $M_{PCont}$, $M_{LPF}$ and $M_{PCont(1)}$ in terms of the operations of the logical matrix $M_{PComp(1)}$. Also it’s proven that the implications of the logical matrices $M_{LPF}$, $M_{PCont(1)}$ and $M_{PComp(1)}$ are not expressible in terms of the operations of the logical matrix $M_{PCont}$.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Розоноэр Л.И. О выявлении противоречий в формальных теориях. 1 // Автоматика и телемеханика, № 6, 1983. С. 113-124.
Avron A. Natural 3-valued Logics: Characterization and proof theory // Journal of Symbolic Logic. Vol. 56. 1991. P. 276-294.
Попов В.М. Между Par(1) и множеством всех формул // Объединенный научный журнал. № 7-8 (254-255). М., 2011. С. 35-39.
Попов В.М. Между Par и множеством всех формул // Материалы 6 конференции «Смирновские чтения по логике 2009». С. 93-95.
Знаменская Н.А., Попов В. М. Паранормальная логика PContPComp как пересечение паранепротиворечивой логики PCont и параполной логики PComp // Материалы 6 конференции «Смирновские чтения по логике 2009». С.63-65.
Томова Н.Е. Импликативные расширения регулярных логик Клини // Логические исследования. Вып. 16. М.-СПб., 2010. С.63-65.