De acordo com a abordagem semântica das teorias cientÃficas, uma teoria é caracterizada por uma cla
According to the semantic view, a theory is characterized by a class of models. In this paper, we e