The aim of this paper is to study the paraconsistent deductive systemP 1 within the context of Algebraic Logic. It is well known due to Lewin, Mikenberg and Schwarse thatP 1 is algebraizable in the sense of Blok and Pigozzi, the quasivariety generated by Sette's three-element algebraS being the unique quasivariety semantics forP 1. In the present paper we prove that the mentioned quasivariety is not a variety by showing that the variety generated byS is not equivalent to any algebraizable (...) deductive system. We also show thatP 1 has no algebraic semantics in the sense of Czelakowski. Among other results, we study the variety generated by the algebraS. This enables us to prove in a purely algebraic way that the only proper non-trivial axiomatic extension ofP 1 is the classical deductive systemPC. Throughout the paper we also study those abstract logics which are in a way similar toP 1, and are called hereabstract Sette logics. We obtain for them results similar to those obtained for distributive abstract logics by Font, Verdú and the author. (shrink)

Annotated logics were introduced by V.S. Subrahmanian as logical foundations for computer programming. One of the difficulties of these systems from the logical point of view is that they are not structural, i.e., their consequence relations are not closed under substitutions. In this paper we give systems of annotated logics that are equivalent to those of Subrahmanian in the sense that everything provable in one type of system has a translation that is provable in the other. Moreover these new systems (...) are structural. We prove that these systems are weakly congruential, namely, they have an infinite system of congruence 1-formulas. Moreover, we prove that an annotated logic is algebraizable (i.e., it has a finite system of congruence formulas,) if and only if the lattice of annotation constants is finite. (shrink)

We introduce a family of matrices that define logics in which paraconsistency and/or paracompleteness occurs only at the level of literals, that is, formulas that are propositional letters or their iterated negations. We give a sound and complete axiomatization for the logic defined by the class of all these matrices, we give conditions for the maximality of these logics and we study in detail several relevant examples.

The notion of an algebraizable logic in the sense of Blok and Pigozzi [3] is generalized to that of a possibly infinitely algebraizable, for short, p.i.-algebraizable logic by admitting infinite sets of equivalence formulas and defining equations. An example of the new class is given. Many ideas of this paper have been present in [3] and [4]. By a consequent matrix semantics approach the theory of algebraizable and p.i.-algebraizable logics is developed in a different way. It is related to the (...) theory of equivalential logics in the sense of Prucnal and Wroski [18], and it is extended to nonfinitary logics. The main result states that a logic is algebraizable (p.i.-algebraizable) iff it is finitely equivalential (equivalential) and the truth predicate in the reduced matrix models is equationally definable. (shrink)

Society Semantics, introduced by W. Carnielli and M. Lima-Marques, is a method for obtaining new logics from the combination of agents of a given logic. The goal of this paper is to present several generalizations of this method, as well as to show some applications to many-valued logics. After a reformulation of Society Semantics in a wider setting, we develop in detail two examples of application of the new formalism, characterizing a hierarchy of paraconsistent logics called Pn and a hierarchy (...) of paracomplete logics In. We also propose three further generalizations, obtaining Society Semantics for several many-valued logics, including a hierarchy of logics called In Pk which are both paraconsistent and paracomplete. (shrink)