Switch to: References

Add citations

You must login to add citations.
  1. Game-theoretic semantics for non-distributive logics.Chrysafis Hartonas - 2019 - Logic Journal of the IGPL 27 (5):718-742.
    We introduce game-theoretic semantics for systems without the conveniences of either a De Morgan negation, or of distribution of conjunction over disjunction and conversely. Much of game playing rests on challenges issued by one player to the other to satisfy, or refute, a sentence, while forcing him/her to move to some other place in the game’s chessboard-like configuration. Correctness of the game-theoretic semantics is proven for both a training game, corresponding to Positive Lattice Logic and for more advanced games for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark