منابع مشابه
Querying with Łukasiewicz logic
In this paper we present, by way of case studies, a proof of concept, based on a prototype working on a automotive data set, aimed at showing the potential usefulness of using formulas of Łukasiewicz propositional logic to query databases in a fuzzy way. Our approach distinguishes itself for its stress on the purely linguistic, contraposed with numeric, formulations of queries. Our queries are ...
متن کاملOn Affine Logic and Łukasiewicz Logic
The multi-valued logic of Lukasiewicz is a substructural logic that has been widely studied and has many interesting properties. It is classical, in the sense that it admits the axiom schema of double negation elimination, [DNE]. However, our understanding of Lukasiewicz logic can be improved by separating its classical and intuitionistic aspects. The intuitionistic aspect of Lukasiewicz logic ...
متن کاملApproximate truth and Łukasiewicz logic
Lukasiewicz' infinite-valued logic L has been used by a number of authors to study reasoning with vague, "fuzzy", or uncertain statements ([5], [2], [11], [12]). Scott and, more recently, Katz have also argued that L is appropriate for the logic of degrees of error or degrees of approximation to the truth ([6], p. 421 and [4], p. 773). The aim of this note is to show that L is not appropriate f...
متن کاملConsistency Degrees of Theories in Łukasiewicz Fuzzy and n-Valued Propositional Logic Systems
By means of theory of truth degrees of formulas, according to deduction theorems and completeness theorems, the new concepts of consistency degrees and polar index for general theories in Łukasewicz fuzzy and n-valued propositional logic systems are introduced. Moreover, sufficient and necessary conditions for a theory Γ to be consistent, inconsistent, and fully divergent are obtained. Finally,...
متن کاملImplicit definability of truth constants in Łukasiewicz logic
In the framework of propositional Lukasiewicz logic, a suitable notion of implicit definability, tailored to the intended real-valued semantics and referring to the elements of its domain, is introduced. Several variants of implicitly defining each of the rational elements in the standard semantics are explored, and based on that, a faithful interpretation of theories in Rational Pavelka logic ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2017
ISSN: 0168-0072
DOI: 10.1016/j.apal.2016.11.009