Categorical abstract algebraic logic: on admissible equivalence systems
type: Item
instance of: scholarly article
zbMATH Open document ID: 1277.03070
author: George Voutsadakis
publication date: 2012-09-05T00:00:00Z
Mathematics Subject Classification ID: 03G27
zbMATH DE Number: 6077962
zbMATH Keywords: abstract algebraic logic
zbMATH Keywords: equivalential logics
zbMATH Keywords: equivalence systems
zbMATH Keywords: admissible rules
zbMATH Keywords: Leibniz operator
zbMATH Keywords: behavioral theorems
zbMATH Keywords: institutions
zbMATH Keywords: Leibniz congruence systems
zbMATH Keywords: admissible closure systems
zbMATH Keywords: admissible equivalence systems
MaRDI profile type: Publication
title: Categorical abstract algebraic logic: on admissible equivalence systems
published in: Advances and Applications in Mathematical Sciences
review text: The paper extends the study of Babenyshev and Martins about the relationship between equivalence systems for sentential logics and admissible equivalence systems to the case of the logics formalized abstractly as \(\pi\)-institutions.
reviewed by: Răzvan Diaconescu
description: scientific article; zbMATH DE number 6077962