Towards a Behavioral Algebraic Theory of Logical Valuations

DOI10.3233/FI-2011-383MaRDI QIDQ3100162zbMATH OpenFDO

Authors Carlos Caleiro, Ricardo Gonçalves

Publication date 22 November 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

algebraic logiclogical matrixalgebraic valuation semanticsbehavioral algebraization

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Recommendations

• Algebraic Valuations as Behavioral Logical Matrices
• Behavioral algebraization of logics
• A constructive valuation semantics for classical logic
• scientific article; zbMATH DE number 2042610
• Recent Trends in Algebraic Development Techniques
• Many-valued logics and their algebras
• scientific article; zbMATH DE number 1189108
• Valental aspects of Peircean algebraic logic
• scientific article; zbMATH DE number 1453810
• ON THE AXIOMATIZATION OF FINITE-VALUED LOGICAL CALCULI

Cited in

(4)

• Behavioral algebraization of logics
• Algebraic Valuations as Behavioral Logical Matrices
• scientific article; zbMATH DE number 3859090 (Why is no real title available?)
• Abstract valuation semantics

This page was built for publication: Towards a Behavioral Algebraic Theory of Logical Valuations

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