3 ms·
This is Game Theoretic Semantics. See Hintikka's Principles of Mathematics Revisited and his framing of Independence Friendly Logic: https://plato.stanford.edu
by mikhailfranco 3y ago
This is Game Theoretic Semantics. See Hintikka's Principles of Mathematics Revisited and his framing of Independence Friendly Logic:
https://plato.stanford.edu/entries/logic-if/ https://plato.stanford.edu/entries/logic-if/