Behavioral algebraization of da Costa's C-systems

DOI10.3166/JANCL.19.127-148MaRDI QIDQ3647293zbMATH OpenFDO

Authors Carlos Caleiro, Ricardo Gonçalves

Publication date 30 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

zbMATH Keywords

paraconsistent logicda Costa algebraalgebraization of logicbehavioral reasoningbivaluation semantics

Mathematics Subject Classification ID

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

Recommendations

• Algebraic Valuations as Behavioral Logical Matrices
• Paraconsistent algebras
• scientific article; zbMATH DE number 150213
• Publication:3033738
• scientific article; zbMATH DE number 4197962

Cites work

• scientific article; zbMATH DE number 551010 (Why is no real title available?)
• A hidden agenda
• A semantical analysis of the calculi \(C_n\)
• A survey of abstract algebraic logic
• Behavioral abstraction is hiding information
• Behavioral algebraization of logics
• Every quotient algebra for \(C_1\) is trivial
• Fibring non-truth-functional logics: Completeness preservation
• On the theory of inconsistent formal systems
• Paraconsistent algebras
• \(C_ 1\) is not algebraizable

Cited in

(5)

• scientific article; zbMATH DE number 150213 (Why is no real title available?)
• A family of genuine and non-algebraisable C-systems
• Algebraic Valuations as Behavioral Logical Matrices
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS

This page was built for publication: Behavioral algebraization of da Costa's \({\mathcal C}\)-systems

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