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

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

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

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. — 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....

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

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. — 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...

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

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. — 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...

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

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,...