Skip to search formSkip to main contentSkip to account menu

Łukasiewicz logic

Known as: Łukasiewicz implication, Łukasiewicz fuzzy logic, Łukasiewicz–Tarski logic 
In mathematics, Łukasiewicz logic (/luːkəˈʃɛvɪtʃ/; Polish pronunciation: [wukaˈɕɛvʲitʂ]) is a non-classical, many valued logic. It was originally… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
We prove that on the finitely generated free MV-algebras the only automorphism-invariant truth averaging process that detects… 
2005
2005
We present logic programming style “goal-directed” proof methods for Lukasiewicz logic L that both have a logical interpretation… 
Review
2004
Review
2004
1999
1999
A touch switch device includes a touch plate 3 or other touch member arranged, when touched, to interrupt the passage of an… 
Review
1996
Review
1996
We survey the theory of non-archimedean algebraic models (MV-algebra) of Lukasiewicz' infinite-valued sentential calculus. 
1992
1992
  • J. W. Mills
  • 1992
  • Corpus ID: 42039697
A one-diode circuit for negated implication is derived from a 12-transistor Lukasiewicz implication circuit. The derivation also… 
1990
1990
Lukasiewicz logic arrays (LLAs) are massively parallel analog computers organized as binary trees of identical processing… 
1990
1990
Lukasiewicz logic arrays (LLAs) are massively parallel analog computers organized as binary trees of identical processing… 
1957
1957
Am 13. Februar dieses Jahres ist Ja~ s einer der profiliertesten Repr~sentanten unserer Forsehung, im 78. Lebensjahr in Dublin…