You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

Computational Fortmalism: Abstract Combinatory View-Point and Related First Order Logical Framework

Article type: Research Article

Authors: Manca, Vincenzo

Affiliations: University of Pisa

Abstract: A natural notion of computational formalism is here characterized by elaborating on the algebraic approach with Uniformly Reflexive Structures. Namely by dealing with the undefined within a first-order theory admitting partial functions. Here, quite generally, we obtain several limitative theorems about the computational formalisms.

Keywords: Computational formalisms, uniformly reflexive structures, idealized theories, limitative theorems

DOI: 10.3233/FI-1981-4102

Journal: Fundamenta Informaticae, vol. 4, no. 1, pp. 3-18, 1981

Received 1 April 1978
|
Published: 1 January 1981
Price: EUR 27.50
Show more