## Abstract Our objective in this article is to present some numerical schemes for the approximation of the 2‐D Navier–Stokes equations with periodic boundary conditions, and to study the stability and convergence of the schemes. Spatial discretization can be performed by either the spectral Galerk
Convergence of residuated operators and connective stability of non-classical logics
✍ Scribed by Sándor Jenei; Etienne E. Kerre
- Publisher
- Elsevier Science
- Year
- 2000
- Tongue
- English
- Weight
- 88 KB
- Volume
- 114
- Category
- Article
- ISSN
- 0165-0114
No coin nor oath required. For personal study only.
✦ Synopsis
Some of the results of Jenei (1993) are put in a more general setting in this paper. The convergence of the residuated connectives related to a sequence of left-continuous triangular norms to the residuated connective of the limit triangular norm is studied. Two su cient and necessary conditions are given. A derived concept, the connective stability of non-classical logics is introduced and investigated. It is established that G odel's logic, some Girard's logics and further non-classical logics are connective stable.
📜 SIMILAR VOLUMES
Free vibration and stability analysis of axially functionally graded tapered Timoshenko beams are studied through a finite element approach. The exact shape functions for uniform homogeneous Timoshenko beam elements are used to formulate the proposed element. The accuracy of the present element is c
An analytical and computer simulation investigation of the dynamic behavior associated with the flexible connecting rod of an otherwise rigid, in-line, planar slider-crank mechanism is presented. The main goal of this work is to determine the manner in which this response depends on the system param