Algebraic Valuations as Behavioral Logical Matrices

DOI10.1007/978-3-642-02261-6_2zbMATH Open1246.03086OpenAlexW1931320280MaRDI QIDQ3638271FDOQ3638271

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

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

zbMATH Keywords

algebraic logicvaluation semanticslogical matrixbehavioral algebraization

Mathematics Subject Classification ID

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

Cites Work

• On the theory of inconsistent formal systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• A survey of abstract algebraic logic
• Algebraizable logics
• Taking degrees of truth seriously
• Behavioral algebraization of logics
• A hidden agenda
• A semantical analysis of the calculi \(C_n\)
• Some theorems on structural consequence operations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Behavioral abstraction is hiding information
• Behavioral algebraization of da Costa's \({\mathcal C}\)-systems

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)