The following pages link to (Q4845316):
Displaying 14 items.
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- The Rényi-Ulam games and many-valued logics (Q679806) (← links)
- Two cooperative versions of the guessing secrets problem (Q730944) (← links)
- Product logic and probabilistic Ulam games (Q876494) (← links)
- An \(n\)-player semantic game for an \(n+1\)-valued logic (Q1005944) (← links)
- A way to interpret Łukasiewicz logic and basic logic (Q1005968) (← links)
- Taking degrees of truth seriously (Q1015492) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- Logic of infinite quantum systems (Q1325668) (← links)
- Conditioning a state by a Łukasiewicz event: a probabilistic approach to Ulam games (Q1978507) (← links)
- A relationship between the category of chain MV-algebras and a subcategory of abelian groups (Q2054754) (← links)
- The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview (Q5425998) (← links)
- Rényi-Ulam Game Semantics for Product Logic and for the Logic of Cancellative Hoops (Q5426007) (← links)
- Searching games with errors -- fifty years of coping with liars (Q5958303) (← links)
