Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 217,467,695 papers from all fields of science
Search
Sign In
Create Free Account
Łukasiewicz logic
Known as:
Łukasiewicz implication
, Łukasiewicz fuzzy logic
, Łukasiewicz–Tarski logic
Expand
In mathematics, Łukasiewicz logic (/luːkəˈʃɛvɪtʃ/; Polish pronunciation: [wukaˈɕɛvʲitʂ]) is a non-classical, many valued logic. It was originally…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
BL (logic)
MV-algebra
Monoidal t-norm logic
Problem of future contingents
Expand
Broader (1)
Fuzzy logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm
Marco Cerami
,
U. Straccia
arXiv.org
2011
Corpus ID: 16052464
Recently there have been some unexpected results concerning Fuzzy Description Logics (FDLs) with General Concept Inclusions (GCIs…
Expand
Highly Cited
2010
Highly Cited
2010
Admissible Rules of Lukasiewicz Logic
Emil Jeřábek
Journal of Logic and Computation
2010
Corpus ID: 14665784
We investigate admissible rules of Łukasiewicz multi-valued propositional logic. We show that admissibility of multiple…
Expand
2010
2010
Bases of Admissible Rules of Lukasiewicz Logic
Emil Jeřábek
Journal of Logic and Computation
2010
Corpus ID: 14608143
We construct explicit bases of single-conclusion and multiple-conclusion admissible rules of propositional Łukasiewicz logic, and…
Expand
Highly Cited
2008
Highly Cited
2008
fuzzyDL: An expressive fuzzy description logic reasoner
Fernando Bobillo
,
U. Straccia
IEEE International Conference on Fuzzy Systems…
2008
Corpus ID: 945097
In this paper we present fuzzyDL, an expressive fuzzy description logic reasoner.We present its salient features, including some…
Expand
2006
2006
On the infinite-valued Łukasiewicz logic that preserves degrees of truth
J. M. Font
,
À. Gil
,
A. Torrell
,
V. Verdú
Archive for Mathematical Logic
2006
Corpus ID: 14067911
AbstractŁukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all…
Expand
2004
2004
On normal forms in Łukasiewicz logic
A. Nola
,
A. Lettieri
Archive for Mathematical Logic
2004
Corpus ID: 30999212
Abstract.Formulas of n variables of Łukasiewicz sentential calculus can be represented, via McNaughton’s theorem, by piecewise…
Expand
2000
2000
Finiteness in Infinite-Valued Łukasiewicz Logic
S. Aguzzoli
,
A. Ciabattoni
Journal of Logic, Language and Information
2000
Corpus ID: 434158
AbstractIn this paper we deepen Mundici's analysis on reducibility of the decision problem from infinite-valued Łukasiewicz logic…
Expand
Highly Cited
1996
Highly Cited
1996
Fuzzy SETS AND FUZZY LOGIC
Dimitar Filev
1996
Corpus ID: 36507401
Another approach to reasoning about uncertainty, with a different mathematical basis, is fuzzy logic. Brief history: Standard…
Expand
Highly Cited
1995
Highly Cited
1995
Averaging the truth-value in Łukasiewicz logic
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…
Expand
1994
1994
Lukasiewicz logic based Prolog
F. Klawonn
,
R. Kruse
1994
Corpus ID: 12587259
Prolog is a programming language based on a restricted subset of classical first order predicate logic. In order to overcome some…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE