# Łukasiewicz logic

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- IEEE International Conference on Fuzzy Systems…
- 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)

Is this relevant?

2014

2014

- Soft Comput.
- 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

- 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

- J. Log. Comput.
- 2010

We investigate admissible rules of Lukasiewicz multi-valued propositional logic. We show that admissibility of multiple… (More)

Is this relevant?

2010

2010

- J. Log. Comput.
- 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

- IEEE International Conference on Fuzzy Systems…
- 2008

In this paper we present fuzzyDL, an expressive fuzzy description logic reasoner.We present its salient features, including some… (More)

Is this relevant?

2003

2003

- TABLEAUX
- 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

- Journal of Logic, Language and Information
- 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

- Studia Logica
- 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

- 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?