Behavioral algebraization of da Costa's C-systems
From MaRDI portal
Publication:3647293
Recommendations
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)