scientific article
From MaRDI portal
Publication:3367323
zbMath1097.03060MaRDI QIDQ3367323
Publication date: 24 January 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order logicclosure algebraintuitionistic logicgame-theoretical semanticsIndependence-friendly logictopological Boolean algebra
Applications of game theory (91A80) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Other algebras related to logic (03G25)
Related Items