Every quotient algebra for \(C_1\) is trivial

DOI10.1305/ndjfl/1093883254zbMath0416.03029OpenAlexW2073970703MaRDI QIDQ754187

C. E. Mortensen

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

zbMATH Keywords

algebraic logicquotient algebraparaconsistent logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Algebraic logic (03G99)

Related Items

AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS, LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT, Replacement in logic, Idempotent full paraconsistent negations are not algebraizable, Behavioral algebraization of logics, A Survey of Annotated Logics, Behavioral algebraization of da Costa's C-systems, Equivalential and algebraizable logics, Paraconsistent algebras, P1 algebras