We present some model theoretic results for Lukasiewicz predicate logic by using the methods of continuous model theory developed by Chang and Keisler. We prove compactness theorem with respect to the class of all structures taking values in the Lukasiewicz BL-algebra. We also prove some appropriate preservation theorems concerning universal and inductive theories. Finally, Skolemization and Mo...

According to the Ramsey Test, conditionals reflect changes of beliefs: α > β is accepted in a belief state iff β is accepted in the minimal revision of it that is necessary to accommodate α. Since Gärdenfors’s seminal paper of 1986, a series of impossibility theorems (“triviality theorems”) has seemed to show that the Ramsey test is not a viable analysis of conditionals if it is combined with A...

In this article I prove preservation theorems for the positive and for the universal-existential fragment of equality-free logic. I give a systematic presentation of the method of diagrams for first-order languages without equality.

This work deals with the preservation of exponential stability under small perturbations for Volterra differential equations. The so-called Bohl-Perron type theorems these systems are also studied.

294/5545/1317. [3] C. Joachim and M. A. Ratner, Nanotechnology 15, 1065 (2004), URL http://stacks.iop.org/0957-4484/