Логика на непрецизноста: Разлика помеѓу преработките
[непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
сНема опис на уредувањето |
сНема опис на уредувањето |
||
Ред 92:
* [[МТЛ (логика)|Моноидната т-нормативна исказна фази логика]] МТЛ претставува аксиоматизација на логиката каде [[конјункција]]та се дефинира по пат на лева непрекината [[триаголна норма|т-норма]], а импликацијата се дефинира како резидуум од т-нормата. Нејзините [[структура (математичка логика)|модели]] соодветствуваат на [[МТЛ-алгебра|МТЛ-алгебрите]] кои се предлинеарни комутативни ограничени интегрални [[остаточна решетка|решетки]].
* [[ОЛ (логика)|Основна исказна фази логика]] ОЛ претставува преширување на МТЛ логиката каде [[конјункција]]та се дефинира по пат на непрекината [[триаголна норма|т-норма]], а импликацијата исто така се дефинира како резидуум од т-нормата. Нејзините [[структура (математичка логика)|модели]] соодветствуваат на [[БЛ-алгебра|БЛ-алгебрите]].
* [[Лукасјевичева фази логика|Лукасјевичевата фази логика]] претставува
* [[Геделова фази логика|Геделовата фази логика]] претставува
* [[Производна фази логика]] претставува
* [[Фази логика со евалуирана синтакса]] (некаде наречена и Павелкина логика), означена со ЕВЛ, претставува понатамошна генерализација на математичката фази лофика. Додека горенаведените типови на фази логика имаат класична синтакса и повеќевредносна сематика, кај ЕВЛ се евалуира и синтаксата. Ова значи дека секоја формула има евалуација. Аксиоматизацијата на EVŁ произлегува од Лукасјевичевата фази логика. Една генерализација на класичната Геделова теорема за потполност е докажлива во ЕВЛ.
=== Предикатна фази логика===
Овие ја
=== Виши фази логики ===
Овие логики, наречени [[теорија на фази типовите|теории на фази типови]], ја
и математички разработена од А. Черч
<ref>Church, A. A formulation of the simple theory of types, J. Symb. Logic 5 (1940) 56--68.</ref> и Л. Хенкин<ref>Henkin, L. Completeness in the theory of types, J. Symb. Logic 15 (1950)
Ред 107:
===Проблеми со определивоста кај фази логиката===
Поимите „определиво подмножество“ и „[[рекурзивна пребројливост|рекурзивно пребројливо]] подмножесво“ се основни во [[класична математика|класичната математика]] и [[класична логика|класичната логика]]. Потоа се јавува праѓањето за соодветно
Фази подмножеството „s“ : ''S'' <math>\rightarrow</math>[0,1] на множеството „S“ е „рекурзивно пребројливо“ ако постои рекурзивната мапа ''h'' : ''S''×''N'' <math>\rightarrow</math>''Ü'', при што за секое ''x'' во ''S'', функцијата ''h'' (''x'',''n'') is се зголемува во оснос на ''n'' и ''s''(''x'') = lim ''h''(''x'',''n'').
Велиме дека ''s'' е „определиво“ ако и ''s'' и неговиот комплемент –''s'' се рекурзивно пребројливи. Герла во 2006 предлага и
Преложените дефиниции се добро поврзани со фазилогиката. Следнава теорема навистина е точна (секако доколку дедуктивната машинерија на фази логиката задоволува извесни очигледни својства на ефективност).
|