Idempotent full paraconsistent negations are not algebraizable

DOI10.1305/NDJFL/1039293025zbMATH Open0968.03030OpenAlexW1980213341MaRDI QIDQ5937811FDOQ5937811

Jean-Yves Béziau

Publication date: 17 July 2001

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039293025

zbMATH Keywords

paraconsistent negationlaw of double negation

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Abstract deductive systems (03B22)

Cites Work

• The logic of paradox
• Title not available (Why is that?)
• Aspects of Paraconsistent Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theory of valuation
• Title not available (Why is that?)
• A calculus of antinomics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Every quotient algebra for \(C_1\) is trivial
• Title not available (Why is that?)
• Paraconsistency and the C-systems of da Costa
• Title not available (Why is that?)

Cited In (6)

• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Trivial Dialetheism and the Logic of Paradox
• Self-extensional three-valued paraconsistent logics
• An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi
• The normal and self-extensional extension of Dunn-Belnap logic
• Strong Three-Valued Paraconsistent Logics

   Recommendations

• Title not available (Why is that?) 👍 👎
• Constructive negations and paraconsistency 👍 👎
• Paraconsistent algebras 👍 👎
• Title not available (Why is that?) 👍 👎
• Negation and paraconsistent logics 👍 👎

This page was built for publication: Idempotent full paraconsistent negations are not algebraizable

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