منابع مشابه
Many-valued hybrid logic
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.
متن کاملMany-valued logic in manufacturing
This paper shows how to enrich the language used in the manufacturing industry regarding information structure and its representation for products and production processes. This is enabled because of our use of many-valued logic, and in order to complement the numerical approach commonly appearing in such representations. We underline the importance of utilizing mathematical disciplines like al...
متن کاملClassical Indeterminacy , Many - Valued Logic
The problem of representing 3-valued supervaluational languages by 2-dimensional product languages is pursued in [3], [8], and [4]. A solution is presented here that attempts to incorporate into such a representation familiar and plausible intuitive principles from traditional many-valued theories. In particular, it is argued in Sections II and III that the concept of classical indeterminacy, w...
متن کاملMany-valued logic: beyond algebraic semantics
The last three decades have witnessed major advances in many-valued logic and related fields. The theory of Łukasiewicz logic and Chang’s MV-algebras has flourished, establishing profound connections with other fields of mathematics; Petr Hájek’s framework for mathematical fuzzy logic has met with remarkable success, bringing into focus the central rôle of residuation; and the algebraic analysi...
متن کاملMany-valued Horn Logic is Hard
Fuzzy Description Logics (FDLs) have been introduced to reason about vague or imprecise knowledge in application domains. In recent years, reasoning in many FDLs based on infinitely many values has been proved to be undecidable [3,15] and systematic studies have been undertaken on this topic [8]. On the other hand, every finite-valued FDL that has been studied in the recent literature has not o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2015
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exv040