Fibrilação de Lógicas na Hierarquia de Leibniz

A presente tese estuda um mecanismo de combinações entre lógicasconhecido como fibrilação. A caraterística essencial de este sistema é que está baseado na combinação de linguagens formais proposicionais. Além do estudo conceitual do método mencionado, este trabalho tenta ser.aplicado à fibrilação de lógicas que possuim uma interpretação semântica de tipo algébrico. Dado que tais lógicas são classificadas numa hierarquia conhecida como Hierarquia de Leibniz (nome devido ao filósofo.alemão G. Leibniz), estudamos a fibrilação de lógicas e tal hierarquia..Em particular são analisadas as famílias de lógicas protoalgébricas,equivalenciais e algebrizáveis.