scientific article; zbMATH DE number 914167

MaRDI QIDQ4889848zbMATH OpenFDO

Authors Burghard Herrmann

Publication date 6 August 1996

Mathematics Subject Classification ID

Abstract deductive systems (03B22)

Cited in

(10)

• Update to ``A survey of abstract algebraic logic
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
• On the closure properties of the class of full G-models of a deductive system
• Equivalential and algebraizable logics
• A study of truth predicates in matrix semantics
• Characterization of protoalgebraic \(k\)-deductive systems
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• Abstract algebraic logic. An introductory chapter
• Categorical abstract algebraic logic: (,N)-algebraic systems
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4889848)