Pages that link to "Item:Q3128471"
From MaRDI portal
The following pages link to Some characterization theorems for infinitary universal Horn logic without equality (Q3128471):
Displayed 9 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)
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
- On the closure properties of the class of full G-models of a deductive system (Q2433101) (← links)
- Categorical abstract algebraic logic: Partially ordered algebraic systems (Q2502179) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors (Q3430283) (← links)
- Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (Q3525204) (← links)
- Algebraic Characterizations for Universal Fragments of Logic (Q4264538) (← links)