Search
Results: 2
Game theoretical semantics for some non-classical logics
Can Baskent
Sep 02, 2016
Paraconsistent logics are the formal systems in which absurdities do not trivialise the logic. In this paper, we give Hintikka-style game theoretical semantics for a variety of paraconsistent and non-classical logics. For...
Game theoretical semantics for some non-classical logics
Can Baskent
Sep 02, 2016
Paraconsistent logics are the formal systems in which absurdities do not trivialise the logic. In this paper, we give Hintikka-style game theoretical semantics for a variety of paraconsistent and non-classical logics. For...