15.Logical Relationships of the Non-finites with Related Elements in English Sentences;英语句子中非谓语动词与相关句子成分的逻辑关系 16.A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic基于谓词μ演算和空间逻辑的模型检测算法研究 17.shared logic word processing equipment共享逻辑字词处...
in the spirit of equating theories with categories and models with certain (“logical”) functors. We contend that much of logic (model theory) can and should be expressed this way. On the other hand, we freely use methods tied to the concrete “presentations”, i.e., to primitive symbols...
Naturally we allowai=ajwheni≠jhere. The algebra-specific aspects of the present notation are as in Definition 4.9 and surrounding discussion. If\(\mathfrak {M}\)is a reduced (or ‘simple’ or ‘normal’) matrix in the sense of note 70 below, one might think of this as a micro-leve...
that is, sets that allow for duplicate occurrences of identical elements. The analysis is couched in Hybrid Type-Logical Categorial Grammar. The flexible syntax-semantics interface of this framework enables an analysis of ‘respective’ readings and related phenomena which, for the...
In short, Boolean semantics provides the tools to represent the distinction between what is known and what is not known to an agent about a specific event of interest. We thus identify events, the bearers of probability, with the elements θ,ϕθ,ϕ , etc. of the set of sentences ...
They showed that these models acquire some generalized knowledge of these tasks, but are not yet reliable for generating the elements of logical reasoning. In another study, Evans and others [12] published a data set as a benchmark to test for logical entailment, a subtype of propositional ...
In LIR, the connectives, that is, what is usually defined as the symbolic logical operators of implication, conjunction and disjunction, all correspond to real operators on real elements in the evolution of real dynamic processes. Accordingly, these operators are, also, subject to being actualized...