Lambda the Ultimate

MSC student at CLE (Centre for Logic Epistemology and History of Science) at IFCH-Unicamp (http://www.cle.unicamp.br/index.php/). I'm currently intending to find a resolution rule for QmBc and QmCi - quantified versions of state-of-art logics of formal inconsistency (http://plato.stanford.edu/entries/logic-paraconsistent/) - as long as a Herbrand's theorem for such logics.

Philosophy of computing, logic, logic of computing, model theoretic logics, logic programming, philosophy in general, dialectical materialism.