zbMath1513.03075arXiv1707.04823MaRDI QIDQ6289047
Giorgi Japaridze
Publication date: 16 July 2017
Mathematics Subject Classification ID
Other nonclassical logic (03B60) Logic in computer science (03B70)