Free logics and quite free logics.
##plugins.themes.bootstrap3.article.sidebar##
Published:
01.07.1997
##plugins.themes.bootstrap3.article.main##
Abstract
Полностью свободные логики, no мнению В.А. Смирнова, должны строится на основе подстановочной интерпретации кванторов. В этом случае мы избавляемся от допущения существования некоторой предметной области, пусть даже пустой.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Smirnov V. Free logics and quite free logics. // Logicheskie Issledovaniya / Logical Investigations. 1997. VOL. 4. C. 102-106.
Issue
Section
Papers
References
Quine W.V. Quantification and empty domain//The Journal of Symbolic Logic, vol. 19,N3,1954.
Hailperin. T. Quantification Theory and empty individualdomains//The Journal of Symbolic Logic, vol. l 8 ,N 3, 1953.
Meyer R., Lambert K. Universally free logic and standard quantification theory//The Journal of Symbolic Logic, vol.33, N 1, 1968.
Jaskowski S. On the rules of supposition in formal logic//Studia Logica 1, 1934.
Mostomki A. On the rules of proof in the pure functional calculus of the first order//The Journal of Symbolic Logic, vol.16,1951. 6 . Smirnov V.A. Theory of quantification and e - calculi//Essays on mathematical sndphilosophical logic//Synthese Library, vol 122, Reidel, 1979.
Smirnov VA. Proof search in natural intuitionistic predicate calculus with e -symbol // Abstracts 10th Int.Congress of Logic, Methodology and Philosophy of Science, Florence, 1995.
Hailperin. T. Quantification Theory and empty individualdomains//The Journal of Symbolic Logic, vol. l 8 ,N 3, 1953.
Meyer R., Lambert K. Universally free logic and standard quantification theory//The Journal of Symbolic Logic, vol.33, N 1, 1968.
Jaskowski S. On the rules of supposition in formal logic//Studia Logica 1, 1934.
Mostomki A. On the rules of proof in the pure functional calculus of the first order//The Journal of Symbolic Logic, vol.16,1951. 6 . Smirnov V.A. Theory of quantification and e - calculi//Essays on mathematical sndphilosophical logic//Synthese Library, vol 122, Reidel, 1979.
Smirnov VA. Proof search in natural intuitionistic predicate calculus with e -symbol // Abstracts 10th Int.Congress of Logic, Methodology and Philosophy of Science, Florence, 1995.