Algebraization of Non-structural Logics

DOI10.1093/JIGPAL/JZL015MaRDI QIDQ3424133zbMATH OpenOpenAlexFDO

Authors Sergio Munoz-Venegas

Publication date 15 February 2007

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzl015

zbMATH Keywords

abstract algebraic logicLeibniz operatoralgebraizable logicannotated logicsconsequence operatorstructuralitysubstitution-invariance

Mathematics Subject Classification ID

Algebraic logic (03G99)

Recommendations

• On the algebraizability of annotated logics
• Equivalential and algebraizable logics
• Algebraic logic
• scientific article; zbMATH DE number 465608
• Algebraizable logics

Cited in

(17)

• scientific article; zbMATH DE number 3150820 (Why is no real title available?)
• scientific article; zbMATH DE number 7723711 (Why is no real title available?)
• Combining algebraizable logics
• A note on closure spaces determined by intersections
• An example of a new kind of algebraizability
• scientific article; zbMATH DE number 5021967 (Why is no real title available?)
• Algebraization of Hybrid Logic with Binders
• Non-associative Kleene Algebra and Temporal Logics
• scientific article; zbMATH DE number 125238 (Why is no real title available?)
• Non-deterministic algebraization of logics by swap structures
• scientific article; zbMATH DE number 465608 (Why is no real title available?)
• On free annotated algebras
• Algebraic semantics for quasi-Nelson logic
• Beyond Rasiowa's algebraic approach to non-classical logics
• Algorithmic correspondence and canonicity for non-distributive logics
• Algebraizable logics
• An algebra and a logic for \(NC^ 1\)

This page was built for publication: Algebraization of Non-structural Logics

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