Łukasiewicz and His Followers in Many-Valued Logic

DOI10.1007/978-3-319-65430-0_24zbMath1406.03013OpenAlexW2808438680MaRDI QIDQ4611677

Grzegorz Malinowski

Publication date: 21 January 2019

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-65430-0_24

zbMATH Keywords

probabilityfuzzy setfunctional completenessmatrix semanticslogical valuemany-valuednessmatrix consequencemany-valued algebra

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An axiomatization of the finite-valued Łukasiewicz calculus
• Theory of logical calculi. Basic theory of consequence operations
• A non-classical logic for physics
• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• An algebraic approach to propositional fuzzy logic
• On the analytic formalism of the theory of fuzzy sets
• Algebraic Analysis of Many Valued Logics
• Fragments of Many-Valued Statement Calculi
• The Dependence of an Axiom of Lukasiewicz
• Proof of an Axiom of Lukasiewicz
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Pseudo-Boolean Logic Circuits
• Foundations of fuzzy reasoning
• The development of multiple-valued logic as related to computer science
• The liar paradox and fuzzy logic
• Fuzzy sets
• A theorem about infinite-valued sentential logic

This page was built for publication: Łukasiewicz and His Followers in Many-Valued Logic