Building Logical Specifications of Temporal Granularities through Algebraic Operators

2009 ◽  
Author(s):  
Carlo Combi ◽  
Sara Degani
Keyword(s):  
Logical Specifications ◽  
Algebraic Operators

Controlling a network of signalized intersections from temporal logical specifications

2015 ◽  
Author(s):  
Samuel Coogan ◽  
Ebru Aydin Gol ◽  
Murat Arcak ◽  
Calin Belta
Keyword(s):  
Signalized Intersections ◽  
Logical Specifications

Three-body Algebraic Theory

1995 ◽  
Author(s):  
F. Iachello ◽  
R. D. Levine
Keyword(s):  
Quantum Mechanics ◽  
Degrees Of Freedom ◽  
Differential Operators ◽  
Algebraic Theory ◽  
Many Body ◽  
Two Body Problem ◽  
Three Body ◽  
Schrödinger Picture ◽  
Algebraic Operators

In the previous chapter we discussed the usual realization of many-body quantum mechanics in terms of differential operators (Schrödinger picture). As in the case of the two-body problem, it is possible to formulate many-body quantum mechanics in terms of algebraic operators. This is done by introducing, for each coordinate r1,r2,... and momentum p1, p2, . . . , boson creation and annihilation operators, b†iα, biα. The index i runs over the number of relevant degrees of freedom, while the index α runs from 1 to n + 1, where n is the number of space dimensions (see note 3 of Chapter 2). The boson operators satisfy the usual commutation relations, which are for i ≠ j, . . . [biα, b†jα´] = 0, [biα, bjα´] = 0,. . . . . .[bjα, b†iα´] = 0, [b†jα, b†iα´] = 0,. . . . . . [biα, b†iα´] = ẟαα´, [biα, b†iα´] = 0, [b†iα, b†iα´] = 0. . . .

Numbers and algebraic operators

1999 ◽  
pp. 19-31
Author(s):  
Ernic Kamerich
Keyword(s):  
Algebraic Operators

Constant-coefficient differential-algebraic operators and the Kronecker form

2018 ◽  
Vol 552 ◽  
pp. 29-41 ◽  
Author(s):  
Marc Puche ◽  
Timo Reis ◽  
Felix L. Schwenninger
Keyword(s):  
Constant Coefficient ◽  
Algebraic Operators

On Expletive Negation Some Remarks With Regard to Catalan

1991 ◽  
Vol 15 (1) ◽  
pp. 41-65 ◽  
Author(s):  
M. Teresa Espinal
Keyword(s):  
Lexical Item ◽  
Main Clause ◽  
Subordinate Clause ◽  
Natural Languages ◽  
Syntactic Structures ◽  
Especial Reference ◽  
Subordinate Clauses ◽  
Comparative Structure ◽  
Lexical Items ◽  
Logical Specifications

The aim of this paper is to identify which syntactic structures allow the interpretation of meaningless or expletive negation and under what conditions formal negation appears in the syntax of natural languages, with especial reference to Central Catalan. I shall describe two syntactic environments: (a) the negation which occurs at the subordinate clause of a comparative structure of inequality, and (b) the negation which occurs at the subordinate clause in the subjunctive tense-mood of certain predicates. In both structures I shall assume that there is a lexical item at the main clause which subcategorizes, among other possible complements, for a que (than, that) clause. At D-structure there is, furthermore, a NegP which is the complement of this conjunction. At the level of LF no expletive is specified, because the logical specifications of the lexical items which subcategorize for these subordinate clauses absorb the value of the negative operator.

The Thue problem and logical specifications of derivation in formal systems

1999 ◽  
Vol 35 (6) ◽  
pp. 860-866
Author(s):  
A. I. Provotar ◽  
Alhi Adnan
Keyword(s):  
Formal Systems ◽  
Logical Specifications

scholarly journals Graphical versus logical specifications

1992 ◽  
Vol 106 (1) ◽  
pp. 3-20 ◽  
Author(s):  
Gérard Boudol ◽  
Kim G. Larsen
Keyword(s):  
Logical Specifications
Sign in / Sign up

Export Citation Format

Share Document