SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC

DOI10.1017/S1755020309990414zbMath1209.03017OpenAlexW2123030218MaRDI QIDQ3577746

Petr Hájek

Publication date: 23 July 2010

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020309990414

zbMATH Keywords

first-order Łukasiewicz logicfirst-order product logicgeneral tautologystandard tautology

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Metamathematics of fuzzy logic
• Algebraic foundations of many-valued reasoning
• Logic versus approximation. Essays dedicated to Michael M. Richter on the occasion of his 65th birthday.
• A complete many-valued logic with product-conjunction
• On witnessed models in fuzzy logic
• Die nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz
• Three complexity problems in quantified fuzzy logic

This page was built for publication: SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC