Between $Int_{\omega , \omega}$ and intuitionistic propositional logic
Article Sidebar
Опубликован:
09.04.2013
Main Article Content
Аннотация
This short paper presents a new domain of logical investigations.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Попов В. Between $Int_{\omega , \omega}$ and intuitionistic propositional logic // Логические исследования / Logical Investigations. 2013. Т. 19. C. 197-199.
Выпуск
Раздел
Статьи
Литература
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).