First order logic without equality on relativized semantics (Q1791054): Difference between revisions

@@ Property / arXiv ID @@
+.00690
@@ Property / arXiv ID: 1807.00690 / rank @@
+Normal rank
@@ Property / cites work @@
+Free algebras in discriminator varieties
@@ Property / cites work: Free algebras in discriminator varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998034
@@ Property / cites work: Q3998034 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Finite algebras of relations are representable on finite sets
+Normal rank
@@ Property / cites work @@
+Changing a Semantics: Opportunism or Courage?
@@ Property / cites work: Changing a Semantics: Opportunism or Courage? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011708
@@ Property / cites work: Q4011708 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4029628
@@ Property / cites work: Q4029628 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+On elementary equivalence for equality-free logic
@@ Property / cites work: On elementary equivalence for equality-free logic / rank @@
+Normal rank
@@ Property / cites work @@
+Some characterization theorems for infinitary universal Horn logic without equality
+Normal rank
@@ Property / cites work @@
+Q2853720
@@ Property / cites work: Q2853720 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing classes defined with equality
@@ Property / cites work: Characterizing classes defined with equality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011716
@@ Property / cites work: Q4011716 / rank @@
+Normal rank
@@ Property / cites work @@
+On atomicity of free algebras in certain cylindric-like varieties
+Normal rank
@@ Property / cites work @@
+Q3247123
@@ Property / cites work: Q3247123 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric algebras. Part II
@@ Property / cites work: Cylindric algebras. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5607956
@@ Property / cites work: Q5607956 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+The free non-commutative cylindric algebras are not atomic
+Normal rank
@@ Property / cites work @@
+General normal forms for any additive logic
@@ Property / cites work: General normal forms for any additive logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011724
@@ Property / cites work: Q4011724 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to cylindric set algebras
@@ Property / cites work: An introduction to cylindric set algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Relation Algebras with Weakened Associativity
+Normal rank
@@ Property / cites work @@
+Q4873975
@@ Property / cites work: Q4873975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011729
@@ Property / cites work: Q4011729 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of language
@@ Property / cites work: Fragments of language / rank @@
+Normal rank
@@ Property / cites work @@
+Q2853718
@@ Property / cites work: Q2853718 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129508718
@@ Property / Wikidata QID: Q129508718 / rank @@
+Normal rank