Об одной трехзначной параполной логике.

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

V.M. Popov

Abstract

A propositional logic LAP with semantics of descriptions of state is constructed. For LAP a three valued characteristic matrix and Gentzen-type sequent calculus are presented. A theorem that LAP is paracomplete logic is formulated and a translation from the calculus C1P (which is a formalization of the classical propositional logic) to the LAP is described.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers

References

Войшвилло Е.К. Философско-методологические аспекты релевантной логики. М., 1988.
Генцен Г. Исследования логических выводов // Математическая теория логического вывода.М., 1967. С. 9-74.
Смирнов В.А. Формальный вывод и логические исчисления М., 1999. С. 16-233.

##plugins.generic.recommendByAuthor.heading##

1 2 3 > >>