|
|
|
Logic in Latin America
Series edited by Lourdes del Carmen González Huesca, Favio Ezequiel Miranda-Perea, and Alejandro Solares-Rojas
The series seeks to promote collaboration and community integration in Latin America related to logic in a broad sense.
The topics include and are not limited to: model theory, recursion theory, proof theory, computational logic, formal methods, non-classical logics, formalized mathematics, AI applications related to logic, formal epistemology, reasoning broadly conceived. Interdisciplinary approaches are particularly welcome.
The volumes in the series seek to compile collaborations of Logic in Latin America associated with conferences, colloquiums, symposiums and workshops, such as proceedings, monographs, collected papers, etc.
Guest editors would be invited to represent the main logic groups in Latin America.
|
|
