scientific article; zbMATH DE number 475183
From MaRDI portal
Publication:4273420
zbMath0796.03008MaRDI QIDQ4273420
Publication date: 13 January 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
closure operatoralgebraic semanticsalgebraizable logicprotoalgebraic logicdeductive systemsLeibniz congruenceGentzen calculusabstract logicsprotoalgebraic deductive systemsalgebra reducts of reduced matricesFrege operatorinterderivability relationmaximum congruence of a logical matrixself extensional logic
Related Items
Algebraic study of two deductive systems of relevance logic ⋮ Fregean logics ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Abstract algebraic logic. An introductory chapter ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Fregean logics with the multiterm deduction theorem and their algebraization ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY