Every quotient algebra for C₁ is trivial

DOI10.1305/NDJFL/1093883254MaRDI QIDQ754187zbMATH OpenOpenAlexFDO

Authors 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

paraconsistent logicalgebraic logicquotient algebra

Mathematics Subject Classification ID

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

Cited in

(10)

• Behavioral algebraization of da Costa's \({\mathcal C}\)-systems
• Behavioral algebraization of logics
• P1 algebras
• Replacement in logic
• Paraconsistent algebras
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• A survey of annotated logics
• Idempotent full paraconsistent negations are not algebraizable
• Equivalential and algebraizable logics
• AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS

This page was built for publication: Every quotient algebra for \(C_1\) is trivial

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q754187)