Every quotient algebra for C₁ is trivial

DOI10.1305/NDJFL/1093883254zbMATH Open0416.03029OpenAlexW2073970703MaRDI QIDQ754187FDOQ754187

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)

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

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)