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

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

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

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

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

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