scientific article; zbMATH DE number 2196609
From MaRDI portal
Publication:5311056
zbMath1081.03065MaRDI QIDQ5311056
Publication date: 22 August 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05) Abstract deductive systems (03B22)
Related Items (8)
An Abstract Algebraic Logic View on Judgment Aggregation ⋮ Selfextensional logics with a conjunction ⋮ The proof by cases property and its variants in structural consequence relations ⋮ A computational glimpse at the Leibniz and Frege hierarchies ⋮ Canonical extensions for congruential logics with the deduction theorem ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Logics with disjunction and proof by cases ⋮ Beyond Rasiowa's algebraic approach to non-classical logics
This page was built for publication: