Данная статья является второй в дилогии, посвященной многозначным матри-цам классической пропозициональной логики как инструменту построения и ана-лиза неклассических логик. В литературе существует множество пар трехзнач-ных матриц, различающихся лишь классами выделенных значений. Но подав-ляющее большинство из них задает неклассическое отношение следования как при одном выделенном значении, так и при двух. Однако существуют матрицы неклассических логик, полученные из матриц классической логики сужением или расширением класса выделенных значений. Основная часть статьи посвя-щена двум классам матриц. Первый класс состоит из матриц, которые задавали бы классическое отношение следования при D = {1, 2}, однако рассматриваются с D = {2}. Второй класс получен выбором D = {1, 2} в матрицах, порождаю-щих классическое следование при D = {2}. Для изучаемых матриц доказывается максимальность (в сильном смысле) паранепротиворечивости или параполноты задаваемых ими логик, а также аналоги теоремы Гливенко или дуальной теоремы Гливенко. Матрицы в рассматриваемых классах образуют решетки по отноше-нию функциональной вложимости. Отдельные матрицы, полученные из матриц классической логики модификацией множества выделенных значений, имеют эк-вивалентные формулировки в виде функциональных расширений матриц клас-сической логики.Ключевые слова: многозначные логики, логические матрицы, паранепротиворе-чивость, параполнота c Девяткин Л.Ю.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
customersupport@researchsolutions.com
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.