Between $Int_{\omega , \omega}$ and intuitionistic propositional logic
##plugins.themes.bootstrap3.article.sidebar##
Published:
09.04.2013
##plugins.themes.bootstrap3.article.main##
Abstract
This short paper presents a new domain of logical investigations.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Popov V. Between $Int_{\omega , \omega}$ and intuitionistic propositional logic // Logicheskie Issledovaniya / Logical Investigations. 2013. VOL. 19. C. 197-199.
Issue
Section
Papers
References
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).
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).