Carbonell J.G. (ed.), Siekmann J. (ed.) — Algebraic and proof-theoretic aspects of non-classical logics. Lecture notes in artificial intelligence 4460
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Algebraic and proof-theoretic aspects of non-classical logics. Lecture notes in artificial intelligence 4460
Авторы: Carbonell J.G. (ed.), Siekmann J. (ed.)
Аннотация:
The paper by Cignoli offers a historical account of the algebraic investigations
of Lukasiewicz logic, leading to a discussion of Daniele’s work up to 1986. A
turning point in such algebraic studies was Chang’s introduction of MV-algebras
in 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, and
investigate their relationship with MV-chains of cardinality p+1, for p a prime
number. Caicedo studies by algebraic means implicit definitions of connectives
in Lukasiewicz infinite-valued logic. Di Nola and Navara continue a line of investigation
concerned with generalizations of the Cantor – Bernstein Theorem to
classes of MV-algebras. Drossos and Karazeris revisit Di Nola’s Representation
Theorem through Boolean ultrapowers.
|
|
О проекте