Notre Dame Journal of Formal Logic 47 (4):487-514 (2006)

Protoalgebraic logics are characterized by the monotonicity of the Leibniz operator on their theory lattices and are at the lower end of the Leibniz hierarchy of abstract algebraic logic. They have been shown to be the most primitive among those logics with a strong enough algebraic character to be amenable to algebraic study techniques. Protoalgebraic π-institutions were introduced recently as an analog of protoalgebraic sentential logics with the goal of extending the Leibniz hierarchy from the sentential framework to the π-institution framework. Many properties of protoalgebraic logics, studied in the sentential logic framework by Blok and Pigozzi, Czelakowski, and Font and Jansana, among others, have already been adapted in previous work by the author to the categorical level. This work aims at further advancing that study by exploring in this new level some more properties of protoalgebraic sentential logics
Keywords algebraic logic   equivalent deductive systems   equivalent institutions   protoalgebraic logics   equivalential logics   algebraizable deductive systems   adjunctions   equivalent categories   algebraizable institutions   Leibniz operator   Tarski operator   Leibniz hierarchy
Categories (categorize this paper)
DOI 10.1305/ndjfl/1168352663
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,219
Through your library

References found in this work BETA

A Survey of Abstract Algebraic Logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Protoalgebraic Logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.
Equivalential Logics (I).Janusz Czelakowski - 1981 - Studia Logica 40 (3):227 - 236.
Weakly Algebraizable Logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.

View all 23 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles


Added to PP index

Total views
21 ( #513,758 of 2,448,407 )

Recent downloads (6 months)
1 ( #449,843 of 2,448,407 )

How can I increase my downloads?


My notes