libcats.org
Главная

Algebraic and Proof-theoretic Aspects of Non-classical Logics

Обложка книги Algebraic and Proof-theoretic Aspects of Non-classical Logics

Algebraic and Proof-theoretic Aspects of Non-classical Logics

, , , ,
The 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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

ВАЗ 2110i, -2111i, -2112i

Автор:
Категория: civil, civil, transport
Размер книги: 57.35 Mb

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Шликерное литье

Автор:
Категория: science, science, technical
Размер книги: 5.98 Mb
Только что пользователи скачали эти книги:

Кен Кизи. Отто кровавый

Автор:
Размер книги: 13 Kb

Tag und Nacht und auch im Sommer

Автор:
Размер книги: 1.56 Mb

The Immortal

Автор:
Категория: fiction
Размер книги: 2.01 Mb

The Zone

Автор:
Категория: fiction
Размер книги: 963 Kb