Многозначная логика

Учебник. — 3-е изд., перераб. и доп. — М.: ЛКИ, 2010. — 448 с. — ISBN 978-S-382-01217-9. В настоящей книге рассматривается развитие многозначной логики начиная от Аристотеля и до наших дней. В силу той особой роли, которую играет многозначная логика в компьютерных науках и в различных приложениях, большое внимание в работе уделяется ее теории функциональных свойств. Автор особо...

Springer, 2022. — 284 p. — (Trends in Logic 60). — ISBN 978-3-031-09705-8. Пытливая логика: следствие и вывод в области вопросов This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail. It is shown that important notions,...

С предисловием А.С. Карпенко. — М.: ИФ РАН, 2015. — 136 с. — ISBN: 978-5-9540-0296-6. Книга «В границах трехзначности» состоит из трех глав, каждая из которых содержит новые, порой совершенно неожиданные результаты в области трехзначных логик. Наиболее важными являются: теорема о необходимых и достаточных условиях, которыми должна обладать произвольная трехзначная матрица,...

М.: ИФ РАН, 2015. — 136 с. — ISBN: 978-5-9540-0296-6. Книга «В границах трехзначности» состоит из трех глав, каждая из которых содержит новые, порой совершенно неожиданные результаты в области трехзначных логик. Наиболее важными являются: теорема о необходимых и достаточных условиях, которыми должна обладать произвольная трехзначная матрица, чтобы быть изоморфом для...

Springer International Publishing, Switzerland, 2014. — 284 p. — (Monographs in Mathematics) — ISBN: 3319015885. This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-valued logic algebras; a subject which has attracted much interest in the past few years because of its impact on information science, artificial intelligence and other...

Избранные труды. — Москва: Наука, 1989. — 264 с. — ISBN: 5-02-007946-4. Н. А. Васильев (1880 - 1940) - один из основателей неклассических логик, выдвинувший и обосновавший идею возможности логики без законов противоречия и исключённого третьего. Помимо ранее опубликованных работ в книгу включены малоизвестные рукописи учёного, а также прижизненные рецензии на его труды. Дан...

New York: Morgan & Claypool, 2008. — 140 p. Multiple Valued Logic: Concepts and Representations begins with a survey of the use of multiple-valued logic in several modern application areas including electronic design automation algorithms and circuit design. The mathematical basis and concepts of various algebras and systems of multiple valued logic are provided including...

Springer, 2003. — 375 p. This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics are treated, as well as applications of many-valued logics to reasoning with fuzzy information. Areas covered include: Algebras of multiple valued logics...

Internet-publication. — 23 p. English. (OCR-слой). [Department of Computer Science. Technical University of Braunschweig. Germany]. Abstract. The aim of this paper is to show that a restriction of a logical language to clauses like Horn clauses, as they are used in Prolog, applied to [0,1]-valued logics leads to calculi with a sound and complete proof theory. In opposition to...

Internet-publication. — 2012. — 26 p. English. (OCR-слой). [Preprint submitted to Fuzzy Sets and Systems. November 26, 2012]. [Simion Stoilow Institute of Mathematics of the Romanian Academy]. Abstract. We develop many-valued logic, including a generic abstract model theory, over a fully abstract syntax. We show that important many-valued logic model theories, such as...

Internet-Publication. — 36 p. English. (OCR-слой). [Walter Carnielli. GTAL, Department of Philosophy. State University Campinas, Brazil]. Abstract. Many-valued models, besides providing a natural semantical interpretation for several non-classical logics, constitute a very sharp tool for investigating and understanding meta-logical properties in general. Although open to...

Internet-Publication. — 48 p. English. (OCR-слой). [Alasdair Urquhart in Clarkson, Ontario (Canada). University of Toronto]. Many-valued logic is a vast field with hundreds of published papers and numerous monographs devoted to it. I have attempted to keep this survey to manageable length by focusing on many-valued logic as an independent discipline. This means that such topics...

Preprint submitted to Elsevier Science. 8 May 2005. — 56 p. [Siegfried Gottwald: Institute of Logic and Philosophy of Science, Leipzig University, Leipzig, Germany]. The paper considers the fundamental notions of many-valued logic together with some of the main trends of the recent development of infinite valued systems, often called mathematical fuzzy logics. Besides this...

Internet-Publication. — 2011. — 388 (195) p. English. (Interactive menu). [Bertram Fronhöfer. Faculty of Computer Science. Technische Universität Dresden. August 4, 2011]. Overview. Modern Pioneers of 3-Valued Logic. Prelude: Classical (Two-valued) Propositional Logic. History and Intuition of Many-Valued Logic. Kleene’s Strong 3-Valued Logic. Łukasiewicz’s 3-Valued Logic....

Интернет-публикация. — 2010. — 5 с. [Харьков.: Харьковский национальный университет радиоэлектроники (ХНУР), ПО ЭВМ, Белоус Наталия Валентиновна]. Впервые многозначная логика появилась в связи с отрицанием аристотелева закона исключенного третьего. В соответствии с этим законом дизъюнктивное высказывание p ∨ p есть тавтология, а атомарное высказывание p в аристотелевой логике...

Учебник. — М.: Издательство ЛКИ, 2010. — 448 с. Классическая логика. Логические связки. Истиностные таблицы. Законы логики высказываний. Функциональная полнота. Логическое следование. Аксиоматизация. Адекватность. Историческая справка. Логика Предикатов. Интуитивное понимание многозначной логики и ее возникновение. Трехзначные логики. Трехзначная Логика Лукасевича....

Полиномы Жегалкина и поляризованные полиномы. Реализация булевых функций обобщенными полиномами. Распознавание свойств функций, заданных полиномами. Предствление булевых функций полиномами над Z.