Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

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

Is this relevant?

2010

2010

We investigate admissible rules of Łukasiewicz multi-valued propositional logic. We show that admissibility of multiple… Expand

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

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?