Every quotient algebra for \(C_1\) is trivial
From MaRDI portal
Publication:754187
DOI10.1305/ndjfl/1093883254zbMath0416.03029MaRDI QIDQ754187
Publication date: 1980
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093883254
Related Items
Idempotent full paraconsistent negations are not algebraizable, Behavioral algebraization of logics, Paraconsistent algebras, P1 algebras, Equivalential and algebraizable logics