Fragments of first order logic, I: universal Horn logic (Q4159026): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2272123
@@ Property / full work available at URL: https://doi.org/10.2307/2272123 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2006556467
@@ Property / OpenAlex ID: W2006556467 / rank @@
+Normal rank
@@ Property / cites work @@
+On universal Horn classes categorical in some infinite power
+Normal rank
@@ Property / cites work @@
+Categorial quasivarieties
@@ Property / cites work: Categorial quasivarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY
@@ Property / cites work: A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY / rank @@
+Normal rank
@@ Property / cites work @@
+Properties preserved under homomorphism
@@ Property / cites work: Properties preserved under homomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+On Polynomial Algebras and Free Algebras
@@ Property / cites work: On Polynomial Algebras and Free Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Horn sentences
@@ Property / cites work: Horn sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of calculii for axiomatically defined classes of algebras
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank