Leibniz filters revisited

DOI10.1023/B:STUD.0000009562.05301.CEzbMath1038.03058OpenAlexW1970472618WikidataQ122889966 ScholiaQ122889966MaRDI QIDQ1419384

Ramon Jansana

Publication date: 14 January 2004

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:stud.0000009562.05301.ce

zbMATH Keywords

abstract algebraic logicglobal and local consequence relationsProtoalgebraic logicsWeakly algebraizable logics

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items (6)

Selfextensional logics with a conjunction ⋮ The strong version of a sentential logic ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Algebraizable logics with a strong conjunction and their semi-lattice based companions ⋮ Leibniz-linked pairs of deductive systems ⋮ Update to ``A survey of abstract algebraic logic

This page was built for publication: Leibniz filters revisited