Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,079,146 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.
2005
2005
Invariant measures in Lukasiewicz logic
Giovanni Panti
2005
Corpus ID: 2553063
We prove that on the finitely generated free MV-algebras the only automorphism-invariant truth averaging process that detects…
Expand
2005
2005
Lukasiewicz Logic: From Proof Systems To Logic Programming
G. Metcalfe
,
N. Olivetti
,
D. Gabbay
Logic Journal of the IGPL
2005
Corpus ID: 18552973
We present logic programming style “goal-directed” proof methods for Lukasiewicz logic L that both have a logical interpretation…
Expand
Review
2004
Review
2004
Compactness of fuzzy logics
P. Cintula
,
M. Navara
Fuzzy Sets Syst.
2004
Corpus ID: 14375571
1999
1999
Many-valued similarity modelling traffic signal control
J. Niittymäki
,
E. Turunen
EUSFLAT-ESTYLF Joint Conf.
1999
Corpus ID: 17651687
A touch switch device includes a touch plate 3 or other touch member arranged, when touched, to interrupt the passage of an…
Expand
Review
1996
Review
1996
Non-Archimedean Models of Lukasiewicz Logic
A. Nola
IEEE International Symposium on Multiple-Valued…
1996
Corpus ID: 206988382
We survey the theory of non-archimedean algebraic models (MV-algebra) of Lukasiewicz' infinite-valued sentential calculus.
1992
1992
Area-efficient implication circuits for very dense Lukasiewicz logic arrays
J. W. Mills
[] Proceedings The Twenty-Second International…
1992
Corpus ID: 42039697
A one-diode circuit for negated implication is derived from a 12-transistor Lukasiewicz implication circuit. The derivation also…
Expand
1990
1990
Lukasiewicz logic arrays
J. W. Mills
,
M. Beavers
,
Charles A. Daffinger
Proceedings of the Twentieth International…
1990
Corpus ID: 46729567
Lukasiewicz logic arrays (LLAs) are massively parallel analog computers organized as binary trees of identical processing…
Expand
1990
1990
CMOS VLSI Lukasiewicz logic arrays
J. W. Mills
,
Charles A. Daffinger
[] Proceedings of the International Conference on…
1990
Corpus ID: 57295267
Lukasiewicz logic arrays (LLAs) are massively parallel analog computers organized as binary trees of identical processing…
Expand
Highly Cited
1979
Highly Cited
1979
A model of fuzzy reasoning through multi-valued logic and set theory
J. Baldwin
,
B. Pilsworth
1979
Corpus ID: 62740769
1957
1957
In Memoriam Jan Łukasiewicz
Heinrich Scholz
Archive for Mathematical Logic
1957
Corpus ID: 206809485
Am 13. Februar dieses Jahres ist Ja~ s einer der profiliertesten Repr~sentanten unserer Forsehung, im 78. Lebensjahr in Dublin…
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