Algebras of consequence operators

MaRDI QIDQ4615957zbMATH OpenFDO

Authors Mauri Cunha do Nascimento, Hércules A. Feitosa

Publication date 29 January 2019

Full work available at URL http://jaguar.fcav.unesp.br/RME/fasciculos/v23/v23_n1/A2_v23_n1.pdf

zbMATH Keywords

algebraic modelBoolean algebraconsequence operator

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 3916269
• Consequence operators and information algebras
• scientific article; zbMATH DE number 5054082
• Principal congruence on Tarski algebra and modal algebra
• Some remarks on axiomatizing logical consequence operations

Cited in

(6)

• scientific article; zbMATH DE number 3916269 (Why is no real title available?)
• scientific article; zbMATH DE number 4010500 (Why is no real title available?)
• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• Consequence operators and information algebras
• A relational model for the logic of deduction
• The logic of tied implications. II. Syntax

This page was built for publication: Algebras of consequence operators

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