Algebraic Valuations as Behavioral Logical Matrices

DOI10.1007/978-3-642-02261-6_2zbMath1246.03086OpenAlexW1931320280MaRDI QIDQ3638271

Ricardo Gonçalves, Carlos Caleiro

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)

Related Items (1)

Abstract valuation semantics

Cites Work

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

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