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

First Page	Meta Content
	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 Document Date: 2017-10-23 08:30:32 Open Document File Size: 149,65 KB Share Result on Facebook

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