P1 algebras
type: Item
instance of: scholarly article
title: P1 algebras
zbMATH Open document ID: 0805.03055
DOI: 10.1007/BF01053020
author: R. A. Lewin
author: Irene F. Mikenberg
author: María G. Schwarze
published in: Studia Logica
publication date: 1995-01-29T00:00:00Z
review text: In a previous paper [J. Non-Classical Logic 7, No. 1/2, 145-154 (1990; Zbl 0726.03018)], the authors proved that the paraconsistent logic \(P_ 1\), introduced by \textit{A. M. Sette} [Math. Jap. 18, 173-180 (1973; Zbl 0289.02013)], is algebraizable. In this paper, a characterization of these algebras along with a complete description of the free algebras in \(n\) generators is done. The interesting peculiarity is that the latter is not a congruence-modular quasi-variety.
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03B53
Mathematics Subject Classification ID: 08B20
zbMATH DE Number: 536889
zbMATH Keywords: algebraizability
zbMATH Keywords: free algebras
zbMATH Keywords: quasi-variety
reviewed by: A.S.Karpenko
MaRDI profile type: Publication
cites work: Algebraizable logics
cites work: Q5202993
cites work: \(C_ 1\) is not algebraizable
cites work: Every quotient algebra for \(C_1\) is trivial
cites work: Q4777260
full work available at URL: https://doi.org/10.1007/bf01053020
OpenAlex ID: W4252411421
description: scientific article; zbMATH DE number 536889