ISSN:
1572-8730
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Philosophy
Notes:
Резюме ЧерезL 3 c обозначается множество выражений содержажее 1. CpCqp 2. CCCpqCrqCCqpCrp 3. CCCpqCCqrqCCCpqpp и замкнуто относительноmodus ponens и подстановки. Пусть Будет трёхзна-чной импликативной матрицей Лукасевича определённой следующим образомcxy=min(1,1−x+y);x,y ∈ {0,1/2, 1}. Б зтой работе доказана следующая теорема: . Идея доказательства происходит с довода Ассера, полноты класси-ческого исчисления высказываний. Приведенное здесь доказательство опирается на теореме Погожяьского, о дедукции для многозначных исчислений высказы-ваний и на теореме, Линденбаума.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF02340038
Permalink