On axiomatization and polytime decidability of strictly positive fragment of K4.3 M. Svyatlovsky Moscow Institute of Physics and Technology Wormshop 2017

First Page		Document Content
Date: 2017-10-23 08:30:32		On axiomatization and polytime decidability of strictly positive fragment of K4.3 M. Svyatlovsky Moscow Institute of Physics and Technology Wormshop 2017 Add to Reading List Source URL: wrm17.mi.ras.ru Download Document from Source Website File Size: 149,65 KB Share Document on Facebook