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