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)

Related topics

Related topics

10 relations
BL (logic)MV-algebraMonoidal t-norm logicProblem of future contingents

Broader (1)

Fuzzy logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
Recall of Patterns Using Morphological and Certain Fuzzy Morphological Associative Memories with Applications in Classification and Prediction
Morphological associative memories (MAMs) are based on a lattice algebra known as minimax algebra. In previous papers, we gained… 
2006
2006
Probability Theory on IF Events
  • B. Riecan
  • Algebraic and Proof-theoretic Aspects of Non…
  • 2006
  • Corpus ID: 19800582
Basic constructions of two different theories are presented. The first one is based on the Łukasiewicz connectives, the second on… 
2005
2005
Lukasiewicz Logic: From Proof Systems To Logic Programming
We present logic programming style “goal-directed” proof methods for Lukasiewicz logic L that both have a logical interpretation… 
Review
2004
Review
2004
Compactness of fuzzy logics
2003
2003
Tableaux for Łukasiewicz Infinite-valued Logic
In this work we propose a labelled tableau method for Łukasiewicz infinite-valued logic Lω. The method is based on the Kripke… 
2003
2003
Bounded Lukasiewicz Logics
In this work we investigate bounded Lukasiewicz logics, characterised as the intersection of the k-valued Lukasiewicz logics for… 
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… 
1990
1990
Lukasiewicz logic arrays
Lukasiewicz logic arrays (LLAs) are massively parallel analog computers organized as binary trees of identical processing… 
1990
1990
CMOS VLSI Lukasiewicz logic arrays
Lukasiewicz logic arrays (LLAs) are massively parallel analog computers organized as binary trees of identical processing… 
Highly Cited
1979
Highly Cited
1979
A model of fuzzy reasoning through multi-valued logic and set theory
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)