Towards a Behavioral Algebraic Theory of Logical Valuations

DOI10.3233/FI-2011-383zbMATH Open1271.03092MaRDI QIDQ3100162FDOQ3100162

Authors: Carlos Caleiro, Ricardo Gonçalves 

Publication date: 22 November 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

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

zbMATH Keywords

algebraic logiclogical matrixalgebraic valuation semanticsbehavioral algebraization

Mathematics Subject Classification ID

Abstract algebraic logic (03G27)

Cited In (4)

• Algebraic Valuations as Behavioral Logical Matrices
• Behavioral algebraization of logics
• Title not available (Why is that?)
• 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)