AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS

DOI10.1017/bsl.2022.36OpenAlexW4301398973MaRDI QIDQ5059925

Hugo Albuquerque, Carlos Caleiro

Publication date: 17 January 2023

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2022.36

zbMATH Keywords

abstract algebraic logicprotoalgebraic logicsparaconsistent logicsda Costa's logic \(\mathscr{C}_1\)

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Abstract algebraic logic (03G27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Limits for paraconsistent calculi
• Every quotient algebra for \(C_1\) is trivial
• Behavioral algebraization of logics
• Paraconsistent algebras
• Equivalential logics. I
• \(C_ 1\) is not algebraizable
• Theory of logical calculi. Basic theory of consequence operations
• A semantical analysis of the calculi \(C_n\)
• Paraconsistency and the C-systems of da Costa
• P1 algebras
• Algebraic study of Sette's maximal paraconsistent logic
• Algebraic semantics for deductive systems
• The strong version of a sentential logic
• Handbook of philosophical logic. Vol. 14
• Willem Blok's contribution to abstract algebraic logic
• On the theory of inconsistent formal systems
• Equivalential and algebraizable logics
• ASSERTIONALLY EQUIVALENT QUASIVARIETIES
• Behavioral algebraization of da Costa's C-systems
• Algebraizable logics
• Weakly algebraizable logics
• Aspects of Paraconsistent Logic
• Logics of Formal Inconsistency
• ON EQUATIONAL COMPLETENESS THEOREMS
• The simplest protoalgebraic logic
• Subdirect unions in universal algebra