scholarly journals Consideraciones lógico-epistémicas relativas a una forma de conceptualismo ramificado

1991 ◽  
Vol 23 (69) ◽  
pp. 3-25
Author(s):  
Max A. Freund
Keyword(s):  
Formal System ◽  
Second Order ◽  
Order System ◽  
Logical System ◽  
Logical Basis ◽  
Relative Consistency ◽  
Intuitive Interpretation

An intuitive interpretation of constructive knowability is first developed. Then, an epistemic second order logical system (which formalizes logical aspects of the interpretation) is constructed. A proof of the relative consistency of such a system is offered. Next, a formal system of intensional arithmetic (whose logical basis is the aforementioned second order system) is stated. It is proved that such a formal system of intensional arithmetic entails a theorem, whose content would show possible limitations to constructive knowability.

scholarly journals Un sistema lógico de segundo orden conceptualista con operadores lambda ramificados

1992 ◽  
Vol 24 (72) ◽  
pp. 47-72
Author(s):  
Max A. Freund
Keyword(s):  
Completeness Theorem ◽  
Second Order ◽  
Order System ◽  
Logical System ◽  
Philosophical Background

We develop a second order logical system with ramified lambda operators, having ramified conceptualism as its philosophical background. Such a system is shown to relatively consistent. Finally, we construct a non-standard second order semantics and prove a completeness theorem with respect to a uotion oí validity, provided by the semantics, and certain extensions oí the second order system.

A Formal System for Proving Some Properties of Programs in Iterative Combinatory Spaces

1984 ◽  
Vol 7 (3) ◽  
pp. 359-365
Author(s):  
Dymiter Skordev
Keyword(s):  
Formal System ◽  
Logical System ◽  
Theoretical Methods ◽  
General Properties ◽  
Space Approach

The paper presents an abstract tool for describing general properties of programs. Iterative combinatory space approach makes possible to transfer recursion – theoretical methods onto logical system which is constructed in this paper.

scholarly journals Search Patterns Based on Trajectories Extracted from the Response of Second-Order Systems

2021 ◽  
Vol 11 (8) ◽  
pp. 3430
Author(s):  
Erik Cuevas ◽  
Héctor Becerra ◽  
Héctor Escobar ◽  
Alberto Luque-Chang ◽  
Marco Pérez ◽  
...  
Keyword(s):  
Convergence Rates ◽  
Optimization Problems ◽  
Search Space ◽  
Second Order ◽  
Order System ◽  
Search Patterns ◽  
Multiple Behaviors ◽  
Complex Optimization ◽  
Second Order Systems ◽  
Order Algorithm

Recently, several new metaheuristic schemes have been introduced in the literature. Although all these approaches consider very different phenomena as metaphors, the search patterns used to explore the search space are very similar. On the other hand, second-order systems are models that present different temporal behaviors depending on the value of their parameters. Such temporal behaviors can be conceived as search patterns with multiple behaviors and simple configurations. In this paper, a set of new search patterns are introduced to explore the search space efficiently. They emulate the response of a second-order system. The proposed set of search patterns have been integrated as a complete search strategy, called Second-Order Algorithm (SOA), to obtain the global solution of complex optimization problems. To analyze the performance of the proposed scheme, it has been compared in a set of representative optimization problems, including multimodal, unimodal, and hybrid benchmark formulations. Numerical results demonstrate that the proposed SOA method exhibits remarkable performance in terms of accuracy and high convergence rates.

Development of a Second-Order System for Rapid Estimation of Maximum Brain Strain

2018 ◽  
Vol 47 (9) ◽  
pp. 1971-1981 ◽  
Author(s):  
Lee F. Gabler ◽  
Jeff R. Crandall ◽  
Matthew B. Panzer
Keyword(s):  
Second Order ◽  
Order System ◽  
Rapid Estimation

Mean-Square Response of a Second-Order System to Nonstationary, Random Excitation

1970 ◽  
Vol 37 (3) ◽  
pp. 612-616 ◽  
Author(s):  
L. L. Bucciarelli ◽  
C. Kuo
Keyword(s):  
Narrow Band ◽  
Random Excitation ◽  
Second Order ◽  
Envelope Function ◽  
Order System ◽  
Mean Square ◽  
Forcing Function ◽  
Mean Square Response ◽  
Noise Function ◽  
The Mean

The mean-square response of a lightly damped, second-order system to a type of non-stationary random excitation is determined. The forcing function on the system is taken in the form of a product of a well-defined, slowly varying envelope function and a noise function. The latter is assumed to be white or correlated as a narrow band process. Taking advantage of the slow variation of the envelope function and the small damping of the system, relatively simple integrals are obtained which approximate the mean-square response. Upper bounds on the mean-square response are also obtained.

Sign in / Sign up

Export Citation Format

Share Document