AMOR
发表于 2025-3-25 06:30:44
https://doi.org/10.1007/978-94-011-2751-6ery complete atomic weakly associative relation algebra is isomorphic with the relativization of a set relation algebra to a symmetric and reflexive binary relation, by insuring that the atoms of the set relation algebra and its relativization are orbits of single sequences under a group of permutat
oracle
发表于 2025-3-25 07:52:17
http://reply.papertrans.cn/43/4206/420514/420514_22.png
信徒
发表于 2025-3-25 15:38:18
https://doi.org/10.1007/978-94-017-6580-0ry used to analyse the structure of logical theories can make it difficult to see how such an idea could be coherent or workable: for in that theory, properties and relations are constructed as sets of (tuples of) individuals. In this paper, I look at three ways in which structuralists might hope fo
木讷
发表于 2025-3-25 19:27:35
http://reply.papertrans.cn/43/4206/420514/420514_24.png
Capitulate
发表于 2025-3-25 20:05:59
Algebraic Logic and Knowledge Basesheir interaction with practical problems arising in computer science might be very productive. In this paper we study the equivalence problem for knowledge bases. Our interest is to find out how the informational equivalence is related to the logical description of knowledge. The main objectives of
配偶
发表于 2025-3-26 03:22:30
Guarded Ontology-Mediated Queriese representation formalism inspired by the guarded fragment of first-order logic, while conjunctive queries represent a prominent database query language that lies at the core of relational calculus (i.e., first-order queries). For such guarded OMQs we discuss three main algorithmic tasks: query eva
jovial
发表于 2025-3-26 08:03:30
Semiring Provenance for Guarded Logics various parts of this input. Here we investigate this for the model checking problem of guarded logics on finite relational structures. Semiring provenance was originally developed for positive database query languages, to understand which combinations of the atomic facts in a database can be used
要求比…更好
发表于 2025-3-26 10:01:06
Implicit Partiality of Signature Morphisms in Institution Theoryfects. This is driven primarily by applications to conceptual blending, but other application domains are possible (such as software evolution). The particularity of this extension is a reliance on ordered-enriched categorical structures. This work is dedicated to Hajnal Andréka and István Németi wh
纬度
发表于 2025-3-26 15:30:21
The Four Essential Aristotelian Syllogisms, via Substitution and Symmetryinity of syllogisms could be obtained as substitution instances of finitely many syllogistic forms, further reduced by exploiting symmetry, in particular the premises’ independence of their order. A consensus subsequently emerged that there were 24 valid assertoric syllogistic forms. A more modern c
Synthesize
发表于 2025-3-26 19:32:11
Adding Guarded Constructions to the Syllogistic(count) noun and . a transitive verb. It is known that both the classical and relational syllogistic admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete (the latter only when . is allowed). In this article, we extend the classical and relational syll