Доказательство разрешимости традиционного исчисления имён

Studia Logica 32 (1):147-147 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf02123835

Other Versions

No versions found

Links

PhilArchive



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

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

Доказательство ł-разрешимости системы s5 льюиса.Е Слупецки & Г Брыль - 1973 - Studia Logica 32 (1):107-107.
Системы модального исчисления имён.С Леьедева - 1969 - Studia Logica 25 (1):96-96.
Доказательство полноты трёхзначного исчисления высказываний лукасевича.Т Прудналь - 1966 - Studia Logica 18 (1):72-72.
Доказательство полноты двухзначного исчисления предложений.В Садовский - 1961 - Studia Logica 11 (1):54-54.
Новое доказательство полноты одной системы исчисления высказываний.Г Брыль - 1966 - Studia Logica 19 (1):116-116.
Доказательство возможности аксиоматизировать некоторыеn-значные исчисления высказываний.В Садовски - 1964 - Studia Logica 15 (1):34-35.
Доказательство несуществования конечной адекватной матрицы для исчисления предложений, в котором выражения теряют смысл.К Пируг-Жепецка - 1968 - Studia Logica 22 (1):59-59.
Аксиоматизация трёхзначного импликативного исчисления высказываний лукасевича.Т Пруцналь - 1967 - Studia Logica 20 (1):143-143.
Основы логики имён.А Моравещ - 1961 - Studia Logica 12 (1):162-166.
Проблема воспроизводимости исчисления высказываний.М Токаж & Р Вуйцицки - 1971 - Studia Logica 28 (1):129-129.

Analytics

Added to PP
2009-01-28

Downloads
13 (#1,325,844)

6 months
2 (#1,688,095)

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

No references found.

Add more references