Algebraization of Non-structural Logics

DOI10.1093/JIGPAL/JZL015zbMath1113.03063OpenAlexW1982815427MaRDI QIDQ3424133

Sergio Munoz-Venegas

Publication date: 15 February 2007

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

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

zbMATH Keywords

annotated logicsabstract algebraic logicalgebraizable logicLeibniz operatorconsequence operatorstructuralitysubstitution-invariance

Mathematics Subject Classification ID

Algebraic logic (03G99)

Related Items (1)

A note on closure spaces determined by intersections

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