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

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

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

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

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

Internet-Publication. — 16 p. English. (OCR-слой). [Soft Computing Laboratory, Dept. Mathematics and Informatics, University of Salerno, Italy]. Abstract In this paper we describe the relationship between many-valued logics (in particular Basic logic and ÃLukasiewicz logic) and semirings. We will also give definitions of automata on BL-algebras and MV-algebras. Semirings are...

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

Metadata absent. — (June 13, 2005). — 20 p. [Reiner Hahnle. Chalmers University of Technology. School of Computer Science and Engineering. Gothenburg, Sweden]. Abstract. The purpose of this article is to clarify the role that many-valued logic can or should play in formal specification of software systems for modeling partiality. We analyse a representative set of specification...

Internet-Publication. — 10 p. English. (OCR-слой). [Reiner Hahnle. University of Karlsruhe. Institute for Logic, Complexity and Deduction Systems. Karlsruhe, Germany]. Abstract. This paper tries to identify the basic problems encountered in automated theorem proving in many-valued logics and demonstrates to which extent they can be currently solved. To this end a number of...

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. — 13 p. Inglish. (OCR-слой). [Dipartimento di Informatica e Sistemistica, University of Roma “La Sapienza”. Rome, Italy]. Abstract. Large databases obtained by the data integration of different source databases can be incomplete and inconsistent in many ways. The classical logic is not the appropriate formalism for reasoning about inconsistent databases....

Internet-Publication. — 18 p. English. [Blackwell Companions to Philosophy. A Companion to Philosophical Logic. Edited by Dale Jacquette. Blackwell Publishers, pp. 545-561]. When is a Logic Many-Valued. The most natural and straightforward step towards the construction of a many-valued logic is to introduce logical values next to truth and falsity. Thereby, one has to...

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

Internet-Publication. — 49 p. English. Course of Lectures and the Shortest History of Multi-Valued Logic in the form of the Presentation. The Multiple-Valued Logic. Is this whole a nonsense? Short Introduction: multiple-valued logic. Binary logic is doomed. Quantum phenomena. Future “Edge” of MVL. From two values to more values/ Multi-Valued Logic Synthesis(cont)....

Internet-Publication. — 15 p. (pp.: 113-127). English. Abstract. Many-valued logic is formalized in the logic of the theorem prover HOL [GM93]. We follow an algebraic approach, starting from a Heyting algebra. Using this approach and some useful HOL machinery, we implemented a tautology-checker for a three-valued propositional logic. Currently, a new specification language is...

USA.: International Journal of Computer Applications (IJCA) (0975 — 8887), Vol. 61, No.7 (Jan., 2013), pp. 35-39, English. (OCR-слой). [Supriya Raheja. ITM University. Gurgaon, India. Reena Dhadich. Govt. Engg. College. Ajmer, India]. Abstract. Many-Valued logics have been developed to represent mathematical model of imprecision, vagueness, uncertainty and ambiguity in the...

Germany: Dagstuhl, 1997. — 29 p. English. [Dagstuhl-Seminar-Report (Seminar 9744) 27.10.—31.10.1997]. This Dagstuhl Seminar brought together approximately 60 researchers covering the full spectrum of the current research on many-valued logics, ranging from mathematical foundations to computational issues and applications. Several young researchers could attend this meeting, and...

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

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

Интернет-публикация. — 10 с. Многозначные логики представляют собой оригинальное и интересное направление в логике. Их появление часто связывают с широко известной проблемой «будущей случайности». В девятой главе трактата «Об истолковании» Аристотель ставит следующую проблему: верно ли, что относительно единичного и вместе с тем будущего события всякое утверждение или отрицание...

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

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

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

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

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

Интернет-публикация. — (Автор и выходные данные неизвестны). — 33 с. В презентационной форме предложен курс лекций по многозначной логике, а также её связи с известными неклассическими логиками. Логики с неклассическим пониманием следования. Релевантная логика. Паранепротиворечивая логика. Немонотонные логики. Динамическая логика. Логики, отменяющие закон исключённого третьего....

Диссертация на соискание ученой степени доктора физико-математических наук: 1.2.2. Математическое моделирование, численные методы и комплексы программ. – Национальный исследовательский Томский государственный университет. – Томск, 2022. – 327 с. Научный консультант: доктор технических наук, профессор Назаров А.А. Цель исследования. Теоретические положения, посвященные...

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