Behavioral algebraization of da Costa's C-systems

DOI10.3166/JANCL.19.127-148zbMATH Open1193.03051MaRDI QIDQ3647293FDOQ3647293

Authors: Carlos Caleiro, Ricardo Gonçalves 

Publication date: 30 November 2009

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

Recommendations

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

zbMATH Keywords

paraconsistent logicda Costa algebraalgebraization of logicbehavioral reasoningbivaluation semantics

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• 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)