与 «POLYADIC»相关的英语书籍
在以下的参考文献中发现
polyadic的用法。与
polyadic相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
The Proceedings of the Ninth West Coast Conference on Formal ...
Veneeta. Srivastav. Cornell. University. Introduction. The question I want to
consider in this paper is whether natural language has polyadic quantifiers, i.e.
quantifiers which can bind more than one variable simultaneously. (1) is an
example of ...
2
Handbook of Modal Logic
In polyadic modal logics one considers modalities α of arbitrary arities r(α) ∈ N,
which give rise to formulae 〈α〉(φ1 ,...,φn) if n = r(α). The interpretation of an n- ary
modal operator α is given in terms of (n + 1)-ary relations Rα in corresponding ...
Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter, 2006
non—finite axiomatizability, 110ff non—finitizability for Cr's, 252 non—finitizability
for Df's, 201ff non—logical constants, 259 non—representable CA's, 85ff non—
representable polyadic 238t't' nonhomogeneous polyadic algebras, 267 normal,
...
Leon Henkin, J. Donald Monk, Alfred Tarski, 1985
4
Canadian Journal of Mathematics
polyadic completion of B is the polyadic completion of B with respect to some set
of valuations. Proof. Suppose (A, h) is a polyadic completion of B. Let V be the set
of all existential valuations of .4. Let V be the set of all valuations of B of the ...
5
Reciprocal Constructions
CHAPTER 6 Reciprocal and polyadic (Remarkable reciprocals in Bantu)* Elena
Maslova Institute for Linguistic Studies, St. Petersburg / University of Bielefeld 1.
Introduction 2. Polyadic roles and participant sets: A summary of cross-linguistic ...
Vladimir Petrovich Nedi?a?lkov, Zlatka Guentchéva, 2007
A. An element p of a polyadic algebra A is called closed if 3(I)p = p (where /, of
course, is the set of variables of A). Just as for monadic logics, there is a natural
way of associating a Boolean logic (A0, M0) with every polyadic logic (A, M) ; the
...
Paul Richard Halmos, 2006
7
Instruction Sequences for Computer Science
8.1.1 Executing polyadic instruction sequences In this section, we formalize a
simple mechanism by which several instruction sequence fragments can produce
a joint behaviour. It is assumed that fixed but arbitrary instruction sequence ...
Jan A Bergstra, Cornelis A. Middelburg, 2012
8
A Theory of Universals: Volume 2: Universals and Scientific ...
Before leaving this topic we may take brief notice of what may be Leibniz's view
that there are no genuine relations, but only properties: monadic universals but
no unanalysable polyadic universals. It may be called Monadic Realism. We
shall ...
9
Lukasiewicz-Moisil Algebras
If (L, U, S,El,V) is a polyadic 19-algebra, then C(L) can be endowed with a
canonical structure of polyadic Boolean algebra. Every polyadic i9-morphism f : (
L,U,S,El,V) —i (L',U,.S',El,V) induces a morphism of polyadic Boolean algebras C
(f) ...
V. Boicescu, A. Filipoiu, G. Georgescu, 1991
10
Software Process Dynamics and Agility: International ...
In this section, the syntax and the reduction semantics of the polyadic π-calculus
is firstly introduced. Then, the rules for mapping each construct of TRISO/ML onto
the polyadic π-calculus are provided. 3.1 Polyadic π-Calculus The π-calculus ...
Qing Wang, Dietmar Pfahl, David M. Raffo, 2007
