The following pages link to Definability of Leibniz equality (Q1970645):
Displaying 5 items.
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481) (← links)
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (Q3525204) (← links)
- Characterization of protoalgebraic k-deductive systems (Q4586420) (← links)