On the injectivity of the Leibniz operator

The class of weakly algebrizable logics is defined as the class of logics having monotonic and injective Leibniz operator. We show that \monotonicity" can- not be discarded on this definition, by presenting an example of a system with injective and non monotonic Leibniz operator. We also show that the non injectivity of the non protoalgebraic inf-sup fragment of the Classic Propositional Calculus, CPC_{inf,sup}, holds only from the fact that the empty set is a CPC_{inf,sup}-filter.FCT via UIM

Categorical Abstract Algebraic Logic: Equivalential π-Institutions

The theory of equivalential deductive systems, as introduced by Prucnal and Wroński and further developed by Czelakowski, is abstracted to cover the case of logical systems formalized as π-Institutions. More precisely, the notion of an N-equivalence system for a given π-Institutions is introduced. A characterization theorem for N-equivalence systems, previously proven for N-parameterized equivalence systems, is revisited and a “transfer theorem” for N-equivalence systems is proven. For a π-Institutions I having an N-equivalence system, the maximum such system is singled out and, then, an analog of Herrmann’s Test, characterizing those N-protoalgebraic π-Institutions having an N-equivalence system, is formulated. Finally, some of the rudiments of matrix theory are revisited in the context of π-Institutions, as they relate to the existence of N-equivalence systems

Closure properties for the class of behavioral models

Hidden k-logics can be considered as the underlying logics of program specification. They constitute natural generalizations of k-deductive systems and encompass deductive systems as well as hidden equational logics and inequational logics. In our abstract algebraic approach, the data structures are sorted algebras endowed with a designated subset of their visible parts, called filter, which represents a set of truth values. We present a hierarchy of classes of hidden k-logics. The hidden k-logics in each class are characterized by three different kinds of conditions, namely, properties of their Leibniz operators, closure properties of the class of their behavioral models, and properties of their equivalence systems. Using equivalence systems, we obtain a new and more complete analysis of the axiomatization of the behavioral models. This is achieved by means of the Leibniz operator and its combinatorial properties. © 2007 Elsevier Ltd. All rights reserved.FCT via UIM