Open AccessUn sistema lógico de segundo orden conceptualista con operadores lambda ramificados
Author(s) -
Max A. Freund
Publication year - 1992
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.101
H-Index - 6
ISSN - 1870-4905
DOI - 10.22201/iifs.18704905e.1992.857
Subject(s) - completeness (order theory) , lambda , mathematics , semantics (computer science) , system f , discrete mathematics , computer science , lambda calculus , physics , programming language , mathematical analysis , optics
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.