Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops (Q5426007)
From MaRDI portal
scientific article; zbMATH DE number 5212130
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops |
scientific article; zbMATH DE number 5212130 |
Statements
Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops (English)
0 references
15 November 2007
0 references
product logic
0 references
probabilistic games
0 references
stochastic logic
0 references
fuzzy logic
0 references
hoop theory
0 references
many-valued logic
0 references
lattices
0 references
Łukasiewicz logic
0 references
abelian residuated lattices
0 references
