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)

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

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)