scientific article; zbMATH DE number 914167
From MaRDI portal
Publication:4889848
zbMATH Open0850.03023MaRDI QIDQ4889848FDOQ4889848
Authors: Burghard Herrmann 
Publication date: 6 August 1996
Title of this publication is not available (Why is that?)
Cited In (10)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
- Update to ``A survey of abstract algebraic logic
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS
- On the closure properties of the class of full G-models of a deductive system
- Characterization of protoalgebraic k-deductive systems
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
- Abstract algebraic logic. An introductory chapter
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
- Equivalential and algebraizable logics
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)
