This course was given as part of the São Paulo School of Advanced Science on Contemporary Logic, Rationality and Information (SPLogiC).
University of Campinas, Campinas, Brazil, February 13-17, 2023.
· Module 1: Instantiations of paraconsistent reasoning.
· Module 2: Logical argumentation frameworks.
· Module 4: Proof methods.
· Module 5: Relations to other non-monotonic formalisms.