Between $Int_{\omega , \omega}$ and intuitionistic propositional logic


V.M. Popov


This short paper presents a new domain of logical investigations.






Popov, V.M., Two sequences of simple paranormal logics, Modern logic: theory, history and applications in science. The proceedings of the IX All-Russian Scientific Conference, June 22-24, 2006, St.-Petersburg, SPbU Publishers, 2006, pp. 382–385 (in Russian).
Popov, V.M., Intervals of simple paralogics, Proceedings of the V conference “Smirnov Readings in Logic”, June, 20-22, 2007, M., 2007, pp. 35–37 (in Russian).
Popov, V.M., Two sequences of simple paraconsistent logics, Logical investigations, 14:257–261, 2007 (in Russian).
Popov, V.M., Two sequence of simple paracomplete logics, Logic today: theory, history and applications. The proceedings of X Russian conference, June, 26-28, 2008, St.-Petersburg, SPbU Publishers, 2008, pp. 304–306 (in Russian).
Popov, V.M., Some intervals between simple paralogics, Logical investigations, 15:182–184, 2009 (in Russian).
Popov, V.M., Semantical characterization of intuitionistically acceptable simple paralogics and their connection with the intuitionistic propositional logic, The proceedings of the research seminar of the logical center of IFRAN, XIX:82–91, 2009 (in Russian).
Popov, V.M., Sequential characterization of simple paralogics, Logical investigations, 16:205–220, 2010 (in Russian).