Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops

DOI10.1007/978-3-540-75939-3_14zbMath1136.03017OpenAlexW1572648020MaRDI QIDQ5426007

Franco Montagna, Sándor Jenei

Publication date: 15 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75939-3_14

zbMATH Keywords

fuzzy logicmany-valued logiclatticesŁukasiewicz logicproduct logicprobabilistic gamesstochastic logicabelian residuated latticeshoop theory

Mathematics Subject Classification ID

Applications of game theory (91A80) Fuzzy logic; logic of vagueness (03B52) Ordered semigroups and monoids (06F05) Many-valued logic (03B50)

Cites Work

• Product logic and probabilistic Ulam games
• Searching with known error probability
• Algebraic foundations of many-valued reasoning
• On the structure of hoops
• Algebraizable logics
• Hoops and Fuzzy Logic
• Recent Developments of Feedback Coding and Its Relations with Many-Valued Logic
• Logic for Programming, Artificial Intelligence, and Reasoning
• Searching games with errors -- fifty years of coping with liars
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item