Publication:5311056
From MaRDI portal
zbMath1081.03065MaRDI QIDQ5311056
Publication date: 22 August 2005
03G25: Other algebras related to logic
03C05: Equational classes, universal algebra in model theory
03B22: Abstract deductive systems
Related Items
The proof by cases property and its variants in structural consequence relations, Canonical extensions for congruential logics with the deduction theorem, Selfextensional logics with a conjunction, Logics with disjunction and proof by cases, A computational glimpse at the Leibniz and Frege hierarchies, Selfextensional logics with a distributive nearlattice term, Beyond Rasiowa's algebraic approach to non-classical logics, An Abstract Algebraic Logic View on Judgment Aggregation