Skip to search formSkip to main contentSkip to account menu

Łukasiewicz logic

Known as: Łukasiewicz implication, Łukasiewicz fuzzy logic, Łukasiewicz–Tarski logic 
In mathematics, Łukasiewicz logic (/luːkəˈʃɛvɪtʃ/; Polish pronunciation: [wukaˈɕɛvʲitʂ]) is a non-classical, many valued logic. It was originally… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Recently there have been some unexpected results concerning Fuzzy Description Logics (FDLs) with General Concept Inclusions (GCIs… 
Highly Cited
2010
Highly Cited
2010
We investigate admissible rules of Łukasiewicz multi-valued propositional logic. We show that admissibility of multiple… 
2010
2010
We construct explicit bases of single-conclusion and multiple-conclusion admissible rules of propositional Łukasiewicz logic, and… 
Highly Cited
2008
Highly Cited
2008
In this paper we present fuzzyDL, an expressive fuzzy description logic reasoner.We present its salient features, including some… 
2006
2006
AbstractŁukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all… 
2004
2004
Abstract.Formulas of n variables of Łukasiewicz sentential calculus can be represented, via McNaughton’s theorem, by piecewise… 
2000
2000
AbstractIn this paper we deepen Mundici's analysis on reducibility of the decision problem from infinite-valued Łukasiewicz logic… 
Highly Cited
1996
Highly Cited
1996
Another approach to reasoning about uncertainty, with a different mathematical basis, is fuzzy logic. Brief history: Standard… 
Highly Cited
1995
Highly Cited
1995
Chang's MV algebras are the algebras of the infinite-valued sentential calculus of Łukasiewicz. We introduce finitely additive… 
1994
1994
Prolog is a programming language based on a restricted subset of classical first order predicate logic. In order to overcome some…