Зарегистрироваться
Восстановить пароль
FAQ по входу

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

Ищем доверенных пользователей для раздела Математика

Вы компетентны в тематике этого раздела и имеете профессиональный опыт в данном направлении?
Вы хотите упорядочить имеющиеся здесь материалы и поддерживать порядок в будущем?
Вы готовы консультировать других пользователей?
Тогда вас, возможно, заинтересует возможность стать доверенным в этом разделе.

Учебно-методические материалы

Студенческие работы

Теги, соответствующие этому тематическому разделу

Файлы, которые ищут в этом разделе

Доверенные пользователи и модераторы раздела

Активные пользователи раздела

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...
  • №1
  • 182,70 КБ
  • добавлен
  • изменен
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...
  • №2
  • 3,10 МБ
  • добавлен
  • изменен
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...
  • №3
  • 362,03 КБ
  • добавлен
  • изменен
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 and...
  • №4
  • 6,87 МБ
  • добавлен
  • изменен
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...
  • №5
  • 774,86 КБ
  • добавлен
  • изменен
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...
  • №6
  • 367,81 КБ
  • добавлен
  • изменен
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...
  • №7
  • 215,33 КБ
  • добавлен
  • изменен
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...
  • №8
  • 856,69 КБ
  • добавлен
  • изменен
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...
  • №9
  • 372,03 КБ
  • добавлен
  • изменен
Интернет-публикация. — 2010. — 5 с. [Харьков.: Харьковский национальный университет радиоэлектроники (ХНУР), ПО ЭВМ, Белоус Наталия Валентиновна]. Впервые многозначная логика появилась в связи с отрицанием аристотелева закона исключенного третьего. В соответствии с этим законом дизъюнктивное высказывание p ∨ ¬p есть тавтология, а атомарное высказывание p в аристотелевой...
  • №10
  • 54,57 КБ
  • добавлен
  • изменен
Избранные труды. — Москва: Наука, 1989. — 264 с. — ISBN 5-02-007946-4. Н. А. Васильев (1880 - 1940) - один из основателей неклассических логик, выдвинувший и обосновавший идею возможности логики без законов противоречия и исключённого третьего. Помимо ранее опубликованных работ в книгу включены малоизвестные рукописи учёного, а также прижизненные рецензии на его труды. Дан...
  • №11
  • 2,92 МБ
  • добавлен
  • изменен
М.: ИФ РАН, 2015. — 136 с. — ISBN 978-5-9540-0296-6. Книга «В границах трехзначности» состоит из трех глав, каждая из которых содержит новые, порой совершенно неожиданные результаты в области трехзначных логик. Наиболее важными являются: теорема о необходимых и достаточных условиях, которыми должна обладать произвольная трехзначная матрица, чтобы быть изоморфом для классической...
  • №12
  • 625,24 КБ
  • добавлен
  • изменен
Учебник. — М.: Издательство ЛКИ, 2010. — 448 с. Классическая логика. Логические связки. Истиностные таблицы. Законы логики высказываний. Функциональная полнота. Логическое следование. Аксиоматизация. Адекватность. Историческая справка. Логика Предикатов. Интуитивное понимание многозначной логики и ее возникновение. Трехзначные логики. Трехзначная Логика Лукасевича....
  • №13
  • 37,14 МБ
  • добавлен
  • изменен
Полиномы Жегалкина и поляризованные полиномы. Реализация булевых функций обобщенными полиномами. Распознавание свойств функций, заданных полиномами. Предствление булевых функций полиномами над Z.
  • №14
  • 557,33 КБ
  • дата добавления неизвестна
  • изменен
В этом разделе нет файлов.

Комментарии

в разделе Многозначная логика #
Уважаемые: администратор, модераторы и доверенные пользователи.

Друзья, я глубоко и сердечно благодарен Вам за создание подраздела Многозначная логика.
Теперь людям гораздо легче будет ориентироваться в разделе Математическая логика и быстрее искать нужную литературу. Слава Богу!
Да благословит Господь наш сайт, лично Вас, а также Ваших родных, близких, друзей и знакомых.
С уважением, благодарностью и благословением.
В этом разделе нет комментариев.