Отправить эту статью по почте 
Lattice of Three-Valued Literal Paralogics
Аннотация
Lattice of Three-Valued Literal Paralogics
Полный текст:
PDFЛитература
Bochvar A.D. (1938) On a three-valued calculus and its application to analysis of paradoxes of classical extended functional calculus // History and Philosophy of Logic, 2, 1981, pp. 87–112
Karpenko A.S. A maximal paraconsistent logic: The combination of two three-valued isomorphs of classical propositional logic, in D. Batens, C. Mortensen, G. Priest and J.-P. van Bendegem (eds.), Frontiers of Paraconsistent Logic, Baldock Research Studies Press,
, pp. 181–187
Karpenko A.S. Foreword. The variety of three-valuedness (in Russian) // L. Devyatkin, N. Prelovskiy, N. Tomova. Within the limits of three-valuedness. Moscow: IF RAS, 2015, pp. 9–33
Kleene S.C. On a notation for ordinal numbers // The Journal of Symbolic Logic, 3, 1938, pp. 150–155
Lewin R.A., Mikenberg I.F. Literal-paraconsistent and literal-paracomplete matrices // Math. Log. Quart., 52(5), 2006, pp. 478–493
Sette A.M. On propositional calculus P1 // Mathematica Japonica, 18, 1973, pp. 173–180
Sette A.M., Carnielli W.A. Maximal weakly-intuitionistic logics // Studia Logica, 55, 1995, pp. 181–203
Shestakov V.I. On one fragment of D.A. Bochvar’s calculus (in Russian) // Information issues of semiotics, linguistics and automatic translation. VINITI, vol. 1, 1971, pp. 102–115
Tomova N.E. A Lattice of implicative extensions of regular Kleene’s logics // Report on Mathematical Logic, 47, 2012, pp. 173–182
Tomova N.E. On the extension of the class of natural three-valued logics: the new classification (in Russian) // L. Devyatkin, N. Prelovskiy, N. Tomova. Within the limits of three-valuedness. Moscow: IF RAS, 2015, pp. 97–130
Ссылки
- На текущий момент ссылки отсутствуют.
(c) 2016 Alexander Karpenko, Natalya Tomova
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.