Search academic texts

Information × Registration Number 0400U003210, Candidate dissertation Status к.ф.-м.н. Date 27-11-2000 popup.evolution o Title Algebraic interpretation of propositional sequential calculi Author Pyn'ko Oleksij Pavlovych, popup.head Капітонова Юлія Володимирівна popup.opponent Раца Мефодій Федорович popup.opponent Лялецький Олександр Вадимович Description Дисертація присвячена дослідженню поняття еквівалентності пропозиційних генценовських обчислень та квазімноговидів абстрактних алгебр, яке узагальнює поняття еквівалентності пропозиційних гільбертовських обчислень та квазімноговидів, що було запропоноване Блоком і Пігоці. Registration Date 2000-11-27 popup.nrat_date 2020-04-04 Close