攀登
发表于 2025-3-23 10:44:12
http://reply.papertrans.cn/43/4206/420514/420514_11.png
狂热语言
发表于 2025-3-23 17:28:49
The Meaning of Aristotle’s ‘Ontology’ 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
Outspoken
发表于 2025-3-23 19:15:20
https://doi.org/10.1057/9781137274946fects. 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
aquatic
发表于 2025-3-23 22:25:31
http://reply.papertrans.cn/43/4206/420514/420514_14.png
情爱
发表于 2025-3-24 04:37:21
http://reply.papertrans.cn/43/4206/420514/420514_15.png
造反,叛乱
发表于 2025-3-24 07:52:47
https://doi.org/10.1057/9780230377929matical knowledge. I also discuss the problem of the explanatory role of mathematics in physics and argue that relativistic computation fits very well into the so-called programming account. Relativistic computation reveals an interesting interplay between the empirical realm and the realm of very a
engender
发表于 2025-3-24 13:49:14
https://doi.org/10.1057/978-1-137-56822-9. We explore this analogy further, connecting generalized quantifier theory and modal neighborhood logic. In particular, we find interesting analogies between conservativity for linguistic quantifiers and the locality of modal logic, and between the role of invariances in both fields. Moreover, we p
遭遇
发表于 2025-3-24 17:23:40
http://reply.papertrans.cn/43/4206/420514/420514_18.png
RENAL
发表于 2025-3-24 19:23:40
https://doi.org/10.1007/978-94-011-2630-4(.) be the class of all .-structures isomorphic to concrete algebras of binary relations with concrete interpretations for symbols in ., and let .(.) be the class of .-structures isomorphic to concrete algebras of binary relations over a finite base. To prove that membership of .(.) or .(.) for fini
overrule
发表于 2025-3-25 00:52:23
http://reply.papertrans.cn/43/4206/420514/420514_20.png