Towards an hyperalgebraic theory of non-algebraizable logics Marcelo Esteban Coniglio Institute of Philosophy and Human Sciences - IFCH, and Centre for Logic, Epistemology and the History of Science - CLE University of Campinas, Brazil Email: coniglio@cle.unicamp.br Aldo Figallo-Orellano Departament of Matematics National University of the South, and Centre for Logic, Epistemology and the History of Science - CLE University of Campinas, Brazil Email: aldofigallo@gmail.com Ana Claudia Golzio Ph.D. Program in Philosophy Institute of Philosophy and Human Sciences - IFCH, and Centre for Logic, Epistemology and the History of Science - CLE University of Campinas, Brazil Email: anaclaudiagolzio@yahoo.com.br Abstract Multialgebras (or hyperalgebras) have been very much studied in the literature. In the realm of Logic, they were considered by Avron and his collaborators under the name of non-deterministic matrices (or Nmatrices) as a useful semantics tool for characterizing some logics (in particular, several logics of formal inconsistency or LFIs) which cannot be characterized by a single finite matrix. In particular, these LFIs are not algebraizable by any method, including Blok and Pigozzi general theory. Carnielli and Coniglio introduced a semantics of swap struc- tures for LFIs, which are Nmatrices defined over triples in a Boolean algebra, generalizing Avron’s semantics. In this paper we develop the first steps towards the possibility of defining an algebraic theory of swap structures for LFIs, by adapting concepts of universal algebra to multialgebras in a suitable way. 1