A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Логика функционального следования
2012
Logical Investigations
Preserved Fulltext
Целью данной работы является определение понятия функционального следования и его аксиоматизации. Проблема полноты относительно предложенной семантики остается открытой.
doi:10.21146/2074-1472-2012-18-0-234-238
fatcat:xuio2vdg3nd3nnb77z2jeurfpq