The following pages link to (Q4889848):
Displaying 9 items.
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- Update to ``A survey of abstract algebraic logic'' (Q1005985) (← links)
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Equivalential and algebraizable logics (Q2563460) (← links)
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS (Q4557168) (← links)
- Characterization of protoalgebraic k-deductive systems (Q4586420) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
