首页 | 本学科首页   官方微博 | 高级检索  
     


Prototetyka St. Lesniewskiego
Authors:J. Słupecki
Abstract:Streszczenie Prototetyka St. Lesacuten'ewskiego jest uogólnieniem dwuwartosacuteciowego rachunku zdanacute. Wysteogonpujaogon w niej obok terminów tego rachunku funktory (zarówno stalmidote jak i zmienne) tych wszystkich kategorii semantycznych, jakie mogaogon bycacute zdefiniowane, gdy punktem wyjsacutecia jest kategor a zdanacute.W pracy zreferowane saogon trzy systemy prototetyki. Terminem pierwotnym dwu z nich jest implikacja, terminem pierwotnym systemu trzeciego jest równowazdotnosacutecacute. Systemy o terminie pierwotnym implikacji rózdotniaogon s.eogon regulmidotami wnioskowania. W jednym z nich obowiaogonzuje regulmidota weryfikacji, w drugim regulmidota ekstensjonalnosacuteci. Pierwsza z tych regulmidot jest uogólnieniem nasteogonpujaogoncej regulmidoty rachunku zdanacute, wzbogaconego o terminy 0 i 1:Wyrazdotenie phiv jest tezaogon systemu, gdy tezami systemu saogon oba wyrazdotenia powstalmidote z phiv przez podstawienie za pewnaogon jego zmiennaogon symboli 0 i 1.W mysacutel regulmidoty ekstensjonalnosacuteci tezami systemu saogon prawa ekstensjonalnosacuteci, sformulmidotowane dla funktorów dowolnych kategorii semantycznych wlmidotasacutec-wych prototetyce.W pracy podajeogon dowody równowazdotnosacuteci trzech systemów prototetyki i dowód ich zupelmidotnosacuteci.Znaczna czeogonsacutecacute wyników Lesacuteniewskiego, zreferowanych w pracy, nie bylmidota dotaogond opublikowana. Opracowujaogonc te wyniki opieralmidotem sieogon na notatkach z wyklmidotadów Lesacuteniewskiego, spisanych przez jego uczniów. Oryginalne notatki Lesacuteniewskiego uleglmidoty zniszczeniu w czasie powstania warszawskiego.
Keywords:
本文献已被 SpringerLink 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号