Towards game semantics for nuanced logics
2017
In this paper we study Moisil logic, a many-valued system based on the idea of nuancing. We prove a completeness theorem for graded deduction and make a first attempt towards a game semantics for this logic.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
11
References
0
Citations
NaN
KQI