Исчисления частичных предикатов хао вана и их расширения, допускающие итерацию» импликации.
Article Sidebar
Опубликован:
31.10.2001
Main Article Content
Аннотация
Нао Wang [10] suggested two extensions of predicate calculus permitting partially defined predicates. He formulated two calculi of partial predicates PP and EP. Interpretation of implication of these calculi depends on the relations between all possible values of its parts. Therefore, the notion of a formula is restricted in PP and EP as implication is not iterating in them. A.Pose [9] constructed an independent system of axioms for propositional fragment of PP with finite number of axioms and proved its completeness by means of a syntactic criterion of provability in it. N.M.Ermolaeva [4] has done the same for propositional fragment of EP applying semantical criterion of the validity. In the present article we give the Rose style proof of completeness of the propositional fragment of EP introducing a syntactic criterion of provability in it, and on the ground of a modified relational semantics we formulate extensions of PP and EP permitting iteration of implication.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Бежанишвили М. Исчисления частичных предикатов хао вана и их расширения, допускающие итерацию» импликации. // Логические исследования / Logical Investigations. 2001. Т. 8. C. 26-37.
Выпуск
Раздел
Статьи
Литература
Аншаков О.М., Финн В.К. Так называемые нечеткие логики и одноимпликативные исчисления // Семиотика и информатика, вып.17. 1981. С. 71-89.
2. Бежанишвили М.Н. Об одном исчислении частичных предикатов Хао Вана // Современная логика: проблемы теории, истории и применения в науке / Материалы VI Общероссийской научной конференции 22-24 июня 2000 г. Изд-во Санкт-Петербургского университета. 2000. С. 156-158.
Бежанишвили _. Н. Интерполяционная теорема для исчислений частичных предикатов Хао Вана // Логические исследования, вып.7. М.Наука, 2000. С.148-158.
Ермолаева Н.М. О логиках, родственных исчислению Хао Вана // Научно-техническая информация, сер.2. №8. 1973. С.34-37.
Финн В.К. Аксиоматизация некоторых трехзначных исчислений и их алгебр // Философия в современном мире / Философия и логика. М: Наука. 1974. С.398-438.
Bezhanishvili М. A partially interpreted modal tableau calculus // MultipleValued Logic. 5. 2000. P.103-116.
Cleave J.P. The notion of logical consequence in the logic of inexact predicates 11 Zeitschr. fuer math. Logik und Grundlagen d. Math. 20. 1974. P.307-324.
Feferman S. Toward useful type-free theories. I // JSL. 49. 1984. P.75-111.
Rose A., A formalization of the propositional calculus corresponding to Wangs calculus of partial predicates // Zeitschr. fuer math. Logik und Grundlagen d. Math. 9. 1963. P.177-198.
1Wang #., The calculus of partial predicates and its extension to set theory.
Zeitschr. filer math. Logik und Grundlagen d. Math. 7. 1961. P.283-288.
2. Бежанишвили М.Н. Об одном исчислении частичных предикатов Хао Вана // Современная логика: проблемы теории, истории и применения в науке / Материалы VI Общероссийской научной конференции 22-24 июня 2000 г. Изд-во Санкт-Петербургского университета. 2000. С. 156-158.
Бежанишвили _. Н. Интерполяционная теорема для исчислений частичных предикатов Хао Вана // Логические исследования, вып.7. М.Наука, 2000. С.148-158.
Ермолаева Н.М. О логиках, родственных исчислению Хао Вана // Научно-техническая информация, сер.2. №8. 1973. С.34-37.
Финн В.К. Аксиоматизация некоторых трехзначных исчислений и их алгебр // Философия в современном мире / Философия и логика. М: Наука. 1974. С.398-438.
Bezhanishvili М. A partially interpreted modal tableau calculus // MultipleValued Logic. 5. 2000. P.103-116.
Cleave J.P. The notion of logical consequence in the logic of inexact predicates 11 Zeitschr. fuer math. Logik und Grundlagen d. Math. 20. 1974. P.307-324.
Feferman S. Toward useful type-free theories. I // JSL. 49. 1984. P.75-111.
Rose A., A formalization of the propositional calculus corresponding to Wangs calculus of partial predicates // Zeitschr. fuer math. Logik und Grundlagen d. Math. 9. 1963. P.177-198.
1Wang #., The calculus of partial predicates and its extension to set theory.
Zeitschr. filer math. Logik und Grundlagen d. Math. 7. 1961. P.283-288.