The following pages link to Equivalential logics. II (Q1167714):
Displaying 10 items.
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions (Q456973) (← links)
- Categorical abstract algebraic logic: models of \(\pi\)-institutions (Q817965) (← links)
- Matrices, primitive satisfaction and finitely based logics (Q1080413) (← links)
- Axiomatization of semigroup consequences (Q1263575) (← links)
- Epimorphisms, definability and cardinalities (Q2307302) (← links)
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions (Q2354626) (← links)
- On Special Implicative Filters (Q4238431) (← links)
- An abstract algebraic logic approach to tetravalent modal logics (Q4508244) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- 2003 Annual Meeting of the Association for Symbolic Logic (Q4678936) (← links)
