Algebraic Valuations as Behavioral Logical Matrices

DOI10.1007/978-3-642-02261-6_2MaRDI QIDQ3638271zbMATH OpenOpenAlexFDO

Authors Carlos Caleiro, Ricardo Gonçalves

Publication date 2 July 2009

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02261-6_2

zbMATH Keywords

algebraic logicvaluation semanticslogical matrixbehavioral algebraization

Mathematics Subject Classification ID

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

Recommendations

• Towards a Behavioral Algebraic Theory of Logical Valuations
• Behavioral algebraization of da Costa's \({\mathcal C}\)-systems
• Abstract valuation semantics
• Behavioral algebraization of logics
• Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices

Cites work

• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 2196614 (Why is no real title available?)
• scientific article; zbMATH DE number 2196615 (Why is no real title available?)
• A hidden agenda
• A semantical analysis of the calculi \(C_n\)
• A survey of abstract algebraic logic
• Algebraizable logics
• Behavioral abstraction is hiding information
• Behavioral algebraization of da Costa's \({\mathcal C}\)-systems
• Behavioral algebraization of logics
• On the theory of inconsistent formal systems
• Some theorems on structural consequence operations
• Taking degrees of truth seriously

Cited in

(4)

• Towards a Behavioral Algebraic Theory of Logical Valuations
• Behavioral algebraization of logics
• Behavioral algebraization of da Costa's \({\mathcal C}\)-systems
• Abstract valuation semantics

This page was built for publication: Algebraic Valuations as Behavioral Logical Matrices

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