scientific article; zbMATH DE number 2068678

zbMath1058.03016MaRDI QIDQ4465171

Sergei V. Babyonyshev

Publication date: 27 May 2004

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

zbMATH Keywords

characterization of fully Fregean deductive systemsstrong Frege operator

Mathematics Subject Classification ID

Algebraic logic (03G99) Abstract deductive systems (03B22)

Related Items (12)

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

This page was built for publication: