Fibring in the Leibniz Hierarchy

This article studies preservation of certain algebraic properties of propositional logics when combined by fibring. The logics analyzed here are classified in protoalgebraic, equivalential and algebraizable. By introducing new categories of algebrizable logics and of deductivizable quasi-varieties, it is stated an isomorphism between these categories. This constitutes an alternative to a similar result found in the literature.

• Type: Journal
• Year: 2007
• Where: IGPL
• Authors: Víctor L. Fernández, Marcelo E. Coniglio
• Keywords: Certain Algebraic Properties, IGPL 2007, Logics, Propositional Logics