Publication:4465171
From MaRDI portal
zbMath1058.03016MaRDI QIDQ4465171
Publication date: 27 May 2004
Related Items
A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS, Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic, Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems, Abstract algebraic logic. An introductory chapter, On the deductive system of the order of an equationally orderable quasivariety, Categorical abstract algebraic logic: referential algebraic semantics, Fregean logics, Canonical extensions for congruential logics with the deduction theorem, Update to ``A survey of abstract algebraic logic, A computational glimpse at the Leibniz and Frege hierarchies, An algebraic view of super-Belnap logics, Beyond Rasiowa's algebraic approach to non-classical logics