A system of relational syllogistic incorporating full Boolean reasoning (Q2255203): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2049055787
@@ Property / OpenAlex ID: W2049055787 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4496
@@ Property / arXiv ID: 1102.4496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5445158
@@ Property / cites work: Q5445158 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic logics of the region-based theory of discrete spaces
+Normal rank
@@ Property / cites work @@
+Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions
+Normal rank
@@ Property / cites work @@
+Q3478385
@@ Property / cites work: Q3478385 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694250
@@ Property / cites work: Q4694250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694251
@@ Property / cites work: Q4694251 / rank @@
+Normal rank
@@ Property / cites work @@
+A qualitative approach to syllogistic reasoning
@@ Property / cites work: A qualitative approach to syllogistic reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Aristotle's syllogistic from the standpoint of modern formal logic
+Normal rank
@@ Property / cites work @@
+Q4430407
@@ Property / cites work: Q4430407 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural language syntax and first-order inference
@@ Property / cites work: Natural language syntax and first-order inference / rank @@
+Normal rank
@@ Property / cites work @@
+Syllogistic Logic with Complements
@@ Property / cites work: Syllogistic Logic with Complements / rank @@
+Normal rank
@@ Property / cites work @@
+Syllogistic Logics with Verbs
@@ Property / cites work: Syllogistic Logics with Verbs / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of the two-variable fragment with counting quantifiers
+Normal rank
@@ Property / cites work @@
+Fragments of language
@@ Property / cites work: Fragments of language / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics
+Normal rank
@@ Property / cites work @@
+No Syllogisms for the Numerical Syllogistic
@@ Property / cites work: No Syllogisms for the Numerical Syllogistic / rank @@
+Normal rank
@@ Property / cites work @@
+More fragments of language.
@@ Property / cites work: More fragments of language. / rank @@
+Normal rank
@@ Property / cites work @@
+LOGICS FOR THE RELATIONAL SYLLOGISTIC
@@ Property / cites work: LOGICS FOR THE RELATIONAL SYLLOGISTIC / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for natural language
@@ Property / cites work: A logic for natural language / rank @@
+Normal rank
@@ Property / cites work @@
+Extracting java library subsets for deployment on embedded systems
+Normal rank
@@ Property / cites work @@
+On the interpretation of Aristotelian syllogistic
@@ Property / cites work: On the interpretation of Aristotelian syllogistic / rank @@
+Normal rank
@@ Property / cites work @@
+The Data Complexity of the Syllogistic Fragments of English
+Normal rank
@@ Property / cites work @@
+Q2702230
@@ Property / cites work: Q2702230 / rank @@
+Normal rank
@@ Property / cites work @@
+Aristotelian syllogisms and generalized quantifiers
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2255203