Skip to search formSkip to main contentSkip to account menu>Semantic Scholar Semantic Scholar's Logo

Search

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

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…

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…

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…