Free logics and quite free logics.
Article Sidebar
Опубликован:
01.07.1997
Main Article Content
Аннотация
Полностью свободные логики, no мнению В.А. Смирнова, должны строится на основе подстановочной интерпретации кванторов. В этом случае мы избавляемся от допущения существования некоторой предметной области, пусть даже пустой.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Смирнов В. Free logics and quite free logics. // Логические исследования / Logical Investigations. 1997. Т. 4. C. 102-106.
Выпуск
Раздел
Статьи
Литература
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.