Независимость одной системы аксиом и правила вывода пропозиционального исчисления

Studia Logica 28 (1):65 - 70 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02124259

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Новое доказательство полноты одной системы исчисления высказываний.Г Брыль - 1966 - Studia Logica 19 (1):116-116.
Π⌕оотнка ст. лесцневского.Jerzy Słupecki - 1953 - Studia Logica 1 (1):112-112.
Об альтернативно-отрицательном исчислении предложений.Ю РейхБах - 1953 - Studia Logica 1 (1):18-18.
Системы модального исчисления имён.С Леьедева - 1969 - Studia Logica 25 (1):96-96.
Системы модального исчисления имен. I.С Лебедева - 1969 - Studia Logica 24 (1):106-107.
Логические системы с импликациями и теории алгебр.Е Котас - 1973 - Studia Logica 31 (1):72-72.
Структуральная полнота исчислений высказываний гёделя и исчисления высказываний дамметта.В Дзик & А Вроньски - 1973 - Studia Logica 32 (1):75-75.
Системы s4 и s5 льюиса а связка тождества.Р Сушко & В Жандаровска - 1971 - Studia Logica 29 (1):178-179.
Systems of the propositional and of the functional calculus based on one primitive termSystemy rachunku zdań i rachunku funkcyjnego o jednym terminie pierwotnymСистемы исчисления предложений и функционального исчисления, содержащие один первичный термин.Ludwik Borkowski - 1957 - Studia Logica 6 (1):7-55.
Адекватностъ теории дедуктивных систем по отношению к исчислению высказываний.В. А Порожелъский - 1962 - Studia Logica 13 (1):126-128.

Analytics

Added to PP
2009-01-28

Downloads
30 (#761,278)

6 months
5 (#1,080,408)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Основы логики имён.А Моравещ - 1961 - Studia Logica 12 (1):162-166.
Note on Formal Logic.M. H. Stone - 1937 - American Journal of Mathematics 59 (4):506-514.
An Extension of the Équivalence Calculus.Hugues Leblanc - 1961 - Mathematical Logic Quarterly 7 (7-10):104-105.

Add more references