|
libcats.org
Algebraic and Proof-theoretic Aspects of Non-classical LogicsS. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, V. MarraThe paper by Cignoli offers a historical account of the algebraic investigationsof Lukasiewicz logic, leading to a discussion of Daniele’s work up to 1986. Aturning point in such algebraic studies was Chang’s introduction of MV-algebrasin 1958. MV-algebras are the focus of a number of papers in this collection. Belluce,Di Nola, and Lettieri introduce the class of symmetric MV-algebras, andinvestigate their relationship with MV-chains of cardinality p+1, for p a primenumber. Caicedo studies by algebraic means implicit definitions of connectivesin Lukasiewicz infinite-valued logic. Di Nola and Navara continue a line of investigationconcerned with generalizations of the Cantor – Bernstein Theorem toclasses of MV-algebras. Drossos and Karazeris revisit Di Nola’s RepresentationTheorem through Boolean ultrapowers.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
#3
Самодельные детали для сельского радиоприемникаАвторы: З.Б.Гинзбург, Ф.И.Тарасов.Категория: радиоэлектроника
1.40 Mb
#10
Вероятность и статистика. 10-11 классыБродский И.Л., Мешавкина О.С.Категория: M_Mathematics, MSch_School-level
1.24 Mb
Только что пользователи скачали эти книги:
#1
Конституционное право зарубежных странАндреева Г.Н., и др.Категория: Юридические науки учебная литература
992 Kb
#6
Композиция. Шестнадцать уроков для начинающих авторовДжеймс Э. Райнкинг, Эндрю У. Харт, Роберт фон дер Остен
2.05 Mb
#8
Я дрался с асами люфтваффе. На смену павшим. 1943-1945Артем ДрабкинКатегория: Военная история
4.40 Mb
#9
Переносные радиоприемники первого класса.В.И.Дерябин, А.М.РыбаковКатегория: радиоэлектроника
3.53 Mb
|
|