“Quand on lit Bopp et son école, on en arriverait à croire que les Grecs avaient apporté avec eux, depuis un temps infini, un bagage de racines, thèmes et suffixes, et qu'au lieu de se servir des mots pour parler, ils s'occupaient de les confectionner." (F. DE SAUSSURE, Morphologie. In: R. GODEL (ed.), A Geneva School Reader in Linguistics. Bloomington/London: Indiana University Press. 1969, p....

The theory of automata is a relatively recent and by no means sharply defined area of research. It is an interdisciplinary science bordered mathematically by symbolic logic and Turing machine theory, bordered engineering-wise by the theory and the use, particularly for general non-numerical work, of large scale computing machines, and bordered biologically by neurophysiology, the theory of nerv...

Automated planning has become an increasingly influential area of research in the realm of artificial intelligence. Task based planning algorithms provide a number of advantages including the ease of human readability when creating mission length plans. However, task based planning algorithms are rarely implement on real world robotic systems because they require additional domain specific know...

Knowledge representation and reasoning (KR) stems from a deep tradition in logic. In particular, it aims at building systems that know about their world and are able to act in an informed way in it, as humans do. A crucial part of these systems is that knowledge is represented symbolically, and that reasoning procedures are able to extract consequences of such knowledge as new symbolic represen...

PA is Peano arithmetic. The formula InterppA(r,/l) is a formalization of the assertion that the theory PA + a interprets the theory PA + , O (the variables a and are intended to range over codes of sentences of PA). We extend Solovay's modal analysis of the formalized provability predicate of PA, PrpA(x), to the case of the formalized interpretability relation Interp,,(x, y). The relevant modal...

Carbon nanotube field effect transistors (CNFETs) are being extensively studied as possible successors to Silicon MOSFETs. Implementable CNTFET circuits have operational characteristics to approach the advantage of using MVL in voltage mode. In this paper we used CNTFETs to implement the improved Gödel basic operators. This paper presents arithmetic operations, implication and multiplication in...

The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters.