SNR
Game Semantics for De Morgan Algebras
Can Baskent, Andrew Lewis-Smith
De Morgan algebras form a natural, common fragment of algebraic semantics for many logics of interest from computational, mathematical, and philosophical perspectives. They provide an algebraic setting for the study of logics with an involutive negation, which is weaker than classical negation and yet stronger than intuitionistic negation. In this on-going work, we propose a game theoretical semantics for De Morgan algebras and De Morgan frames. One of the particular challenges of developing a game theoretical semantics for De Morgan algebras is to capture the game theoretical interpretation of involutive negation.