游戏学：一种无同一性公理的逻辑
逻辑
2009-10-09 v1
摘要
在逻辑学中，非自反性转化为同一性公理的缺失。这为处理许多语言现象（如谬误）开辟了领域。游戏学（Ludics）是由J-Y Girard发明的一个框架，因为它建立在位点（地址）而非公式之上，从而允许这样的处理。
引用
@article{arxiv.0910.1483,
title = {Ludique : une logique sans axiome d'identit\'e},
author = {Alain Lecomte},
journal= {arXiv preprint arXiv:0910.1483},
year = {2009}
}
备注
23 pages