Skip to search formSkip to main contentSkip to account menu
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… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
We investigate admissible rules of Łukasiewicz multi-valued propositional logic. We show that admissibility of multiple… 
  • figure 1
  • figure 2
2010
2010
We construct explicit bases of single-conclusion and multiple-conclusion admissible rules of propositional Łukasiewicz logic, and… 
2006
2006
AbstractŁukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all… 
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… 
1997
1997
A propositional logic for rough sets was proposed in [2]. The present work establishes a relationship between the finitary… 
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… 
1990
1990
Lukasiewicz logic arrays (LLAs) are massively parallel analog computers organized as binary trees of identical processing… 
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 6
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…