Behavioral algebraization of da Costa's C-systems

DOI10.3166/JANCL.19.127-148zbMath1193.03051MaRDI QIDQ3647293

Ricardo Gonçalves, Carlos Caleiro

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)

Related Items

AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Algebraic Valuations as Behavioral Logical Matrices

Cites Work

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