Publication:3367323
From MaRDI portal
zbMath1097.03060MaRDI QIDQ3367323
Publication date: 24 January 2006
first-order logic; closure algebra; intuitionistic logic; game-theoretical semantics; Independence-friendly logic; topological Boolean algebra
91A80: Applications of game theory
03B60: Other nonclassical logic
03A05: Philosophical and critical aspects of logic and foundations
03B10: Classical first-order logic
03G25: Other algebras related to logic
Related Items