UFBA » Instituto de Matemática »

An order-theoretic analysis of interpretations among propositional deductive systems