A General View of Normalisation through Atomic Flows Год выпуска: 2013Автор: Tom GundersenИздательство: LAP Lambert Academic PublishingСтраниц: 152ISBN: 9783659264542Описание Atomic flows is a geometric invariant of classical propositional proofs in deep inference. In this thesis, atomic flows are used to describe new normal forms of proofs, of which the traditional normal forms are special cases. Several normalisation procedures for obtaining the normal forms are also given. A new deep-inference formalism called the functorial calculus, which is more flexible than the traditional calculus of structures, is defined and used to present the results. Two surprising results are presented, that proofs can be normalised without looking at their logical connectives or logical rules; and that normalisation can be performed in less than exponential time.
Похожие книги
Seth A. Stuhl, Staff of Vault. Vault Guide to Bankruptcy Law Careers (Vault Career Library). – М.: , 0. – 0 с. J. Barkley Rosser. From Catastrophe to Chaos: A General Theory of Economic Discontinuities: Mathematics, Microeconomics, Macroeconomics, and Finance (Volume I). – М.: , 0. – 0 с. P. A. Walker, Commission of the European Communities. Safety of Driving Operations. – М.: , 0. – 0 с. David Kennett. A New View of Comparative Economics With Infotrac. – М.: , 0. – 0 с. Christian A. Kull, Univ of Chicago Pr. Isle of Fire: The Political Ecology of Landscape Burning in Madagascar (UNIVERSITY OF CHICAGO GEOGRAPHY RESEARCH PAPERS). – М.: , 0. – 0 с. William Clarence Webster. A General History Of Commerce (1903). – М.: Книга по Требованию, 2010. – 590 с. General Association of New-Hampshir, Edwin David Sanborn. Churches of New-Hampshire: An Historical Discourse, Delivered Before the General Association of New-. – М.: , 2009. – 30 с. P Deransart. A Grammatical View of Logic Programming. – М.: , 2010. – 490 с. Floyd Levin. Classic Jazz – A Personal View of the Music & the Musicians. – М.: , 2002. – 362 с. J B Richmond. Currents in American Medicine – A Developmental View of Medical Care & Ed. – М.: , 1974. – 150 с. Thomas Bewick. A General History of Quadrupeds – The Figures Engraved on Wood. – М.: , 2009. – 544 с. David Quammen. Natural Acts – A Sidelong View of Science and Nature. – М.: , 2008. – 272 с. Je Roemer. A General Theory of Exploitation & Class. – М.: , 1990. – 420 с. David Quammen. Natural Acts – A Sidelong View of Science and Nature Revised Edition. – М.: , 2009. – 352 с. J. Barkley Rosser. From Catastrophe to Chaos: A General Theory of Economic Discontinuities. – М.: , 2011. – 675 с. Tom Gundersen. A General View of Normalisation through Atomic Flows. – М.: LAP Lambert Academic Publishing, 2013. – 152 с. Stephen. A General View of the Criminal Law of England. – М.: , 2014. – 516 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Настя Добрый вечер, Мария! Спасибо большое за вашу помощь! Получила отлично за курсовую. Замечаний больших нет, очень понравился анализ произведения. Хотела бы спросить, можно ли будет рассчитывать на вашу помощь в следующем году при сопровождении диплома? Я бы очень хотела этого. Конечно, все станет ясно с темой не раньше осени, но, я думаю, она будет связана с темой этой курсовой. В любом случае, надеюсь на дальнейшее сотрудничество
