Ł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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
In this paper we present, by way of case studies, a proof of concept, based on a prototype working on a automotive data set… (More)
  • table I
  • table II
  • table III
  • figure 1
  • figure 2
Is this relevant?
2014
2014
We initiate a deep study of Riesz MV-algebras which are MV-algebras endowed with a scalar multiplication with scalars from [0, 1… (More)
Is this relevant?
2012
2012
  • O. R. Sayed
  • 2012
In the present paper, we introduce topological notions defined by means of α-open sets when these are planted into the framework… (More)
Is this relevant?
2010
2010
We investigate admissible rules of Lukasiewicz multi-valued propositional logic. We show that admissibility of multiple… (More)
  • figure 1
  • figure 2
Is this relevant?
2010
2010
We construct explicit bases of single-conclusion and multiple-conclusion admissible rules of propositional Lukasiewicz logic, and… (More)
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… (More)
  • figure 1
  • table I
Is this relevant?
2003
2003
In this work we investigate bounded Lukasiewicz logics, characterised as the intersection of the k-valued Lukasiewicz logics for… (More)
Is this relevant?
2000
2000
In this paper we deepen Mundici’s analysis on reducibility of the decision problem from infinite-valued Łukasiewicz logicL∞ to a… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
1. I n t r o d u c t i o n This paper deals with Polish style algebraic logic. Its aim is to give a noncommutative notion of… (More)
Is this relevant?
1994
1994
Prolog is a programming language based on a restricted subset of classical rst order predicate logic. In order to overcome some… (More)
Is this relevant?