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

##plugins.themes.bootstrap3.article.sidebar##

PDF (Русский)
Published: 03.10.2002
DOI: https://doi.org/10.21146/2074-1472-2002-9-0-175-178

##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##

How to Cite
Popov V. Об одной трехзначной параполной логике. // Logicheskie Issledovaniya / Logical Investigations. 2002. VOL. 9. C. 175-178.
Issue
Vol 9 (2002)
Section
Papers

References

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