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

algebraic logicparaconsistent logicquotient algebra

Mathematics Subject Classification ID

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

Cited in

(13)

• Behavioral algebraization of logics
• Paraconsistent algebras
• P1 algebras
• Replacement in logic
• Equivalential and algebraizable logics
• 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
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• A survey of annotated logics
• Idempotent full paraconsistent negations are not algebraizable
• Variations on the calculi C_n of da Costa
• From Jaśkowski's discussive logic to contemporary paraconsistent systems
• Gently paraconsistent extensions of C₁, intuitionistic implication, De Morgan laws, and the law of non-contradiction

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)