scientific article; zbMATH DE number 914167

zbMath0850.03023MaRDI QIDQ4889848

Burghard Herrmann

Publication date: 6 August 1996

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

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Related Items (10)

A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ Characterization of protoalgebraic k-deductive systems ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Abstract algebraic logic. An introductory chapter ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Update to ``A survey of abstract algebraic logic ⋮ Equivalential and algebraizable logics ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems

This page was built for publication: