scientific article

zbMath1359.03001MaRDI QIDQ2812986

Willem J. Blok, Don Pigozzi

Publication date: 13 June 2016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicconsequence relationquasivarietyLeibniz operatorintuitionistic logicrelevance logicdeductive systemequational consequenceformula algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract algebraic logic (03G27)

Related Items (2)

Algebraic semantics for deductive systems ⋮ Filter distributive logics

This page was built for publication: