|
|
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.
Скачать книгу бесплатно (pdf, 2.88 Mb)
Читать «Algebraic and Proof-theoretic Aspects of Non-classical Logics» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Доврачебная помощь в чрезвычайных ситуацияхАвтор: Бубнов В.Г., Автор: Бубнова Н.В.
Размер книги: 541 Kb
Privatization of Water Services in the United States: An Assessment of Issues and ExperienceАвтор: Committee on Privatization of Water Services in the United States, Автор: National Research Council
Размер книги: 4.81 Mb
|
|
|