>>
Choose Game Options
Game Style:
Lukasiewicz Logic
Product Logic
Gödel Logic
Don't use special characters in formulas
>>
Enter the Formula(s)
Another
Formula:
for me
for you
eliminate connectives
Use the following characters:
"&"
for (min) conjunction
"&&"
for strong conjunction
"|"
for (max) disjunction
"||"
for strong disjunction
"->"
for implication
"-"
for negation
[a-z]
for atoms
"0"
for Falsum
"1"
for Verum
"(",")"
to group expressions
Note: implication is associative to the right.
>>
Enter Atom Valuations
Please enter valuations (=success probabilities) for the following atoms:
>>
Start a Dialogue
¶
Your tenet:
My tenet:
Available moves:
Your Actions:
My Actions:
No more Actions left; Game is finished.
Undo last move
Redo move
Next Step: Evaluation
>>
Evaluate
Final state:
→
Dispersive binary experiments:
Another Evaluation
Another 10 Ones
Another 100 Ones
Do not display evaluations.