Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Ł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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Three-valued logics arise in several fields of computer science, both inspired by concrete problems (such as in the management of… Expand
  • table 1
  • table 4
  • figure 1
  • table 8
  • table 9
Is this relevant?
2010
2010
We investigate admissible rules of Łukasiewicz multi-valued propositional logic. We show that admissibility of multiple… Expand
  • figure 1
  • figure 2
Is this relevant?
2010
2010
We construct explicit bases of single-conclusion and multiple-conclusion admissible rules of propositional Łukasiewicz logic, and… Expand
Is this relevant?
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… Expand
  • figure 1
  • table I
  • table III
Is this relevant?
2006
2006
AbstractŁukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
In this paper we consider the theory of fuzzy logic programming without negation. Our results cover logical systems with a wide… Expand
Is this relevant?
1997
1997
A propositional logic for rough sets was proposed in [2]. The present work establishes a relationship between the finitary… Expand
Is this relevant?
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… Expand
Is this relevant?
1994
1994
Prolog is a programming language based on a restricted subset of classical first order predicate logic. In order to overcome some… Expand
Is this relevant?
Highly Cited
1976
Highly Cited
1976
A new form of logic is described, originally developed for the formalization of physical theories, the essential feature being a… Expand
Is this relevant?