scientific article; zbMATH DE number 914167
From MaRDI portal
Publication:4889848
zbMath0850.03023MaRDI QIDQ4889848
Publication date: 6 August 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
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
