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… 
Highly Cited
2006
Highly Cited
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
Highly Cited
1997
Highly Cited
1997
  • M. Banerjee
  • Fundamenta Informaticae
  • 1997
  • Corpus ID: 32455609
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
  • D. Mundici
  • Studia Logica: An International Journal for…
  • 1995
  • Corpus ID: 206788098
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…