Post-Doctoral Position in Non-Deterministic Semantics and Algebraization of Logics, Campinas (Brazil)

Within the framework of the FAPESP Thematic Project "Rationality, logic, and probability: RatioLog" at the Centre for Logic, Epistemology and the History of Science (CLE) at University of Campinas (UNICAMP) we offer a 2 years Post-Doctoral Position. The aim of the project, to be supervised by Prof. Marcelo E. Coniglio, is to generalize the well-known techniques introduced by Blok and Pigozzi for the algebraization of logics to the context of non-deterministic semantics. The framework is expected to be applicable to various paraconsistent and paracomplete logics, including Logics of Formal Inconsistency (LFIs), Logics of Evidence and Truth (LETs), and Ivlev-like non-normal modal logics, among others.