Computational formalisms: abstract combinatory viewpoint and related first order logical framework
- MANCA, Vincenzo
View in ORKG Publication date
January 1981Abstract
A logical formalization of computationally universa combinatorial formalisms is given
A logical formalization of computationally universa combinatorial formalisms is given
Abstract. The views framework of Dinsdale-Young and others unifies several compositional techniques ...
Computational linguistics studies natural language in its various manifestations from a computationa...
We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages...
Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extr...
Abstract. The development of computational logic since the introduction of Frege’s modern logic in 1...
AbstractIn theoretical computer science and mathematics the models of combinatory logic are of signi...
As computing capabilities are extending, the amount of source code to manage is inevitably becoming ...
This thesis concerns the development of a framework that facilitates the design and analysis of form...
This work introduces the theory of illative combinatory algebras, which is closely related to system...
Contains fulltext : 13276.pdf (publisher's version ) (Open Access
An introduction to the basic notions of propositional and predicate logic and special theories inclu...
This paper presents a case for the use of higher-order logic as a foundation for computational logic...
The purpose of this paper is to give some insights into the immense role of Frege’s first order logi...
Computational linguistics studies natural language in its various manifestations from a computationa...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
Abstract. The views framework of Dinsdale-Young and others unifies several compositional techniques ...
Computational linguistics studies natural language in its various manifestations from a computationa...
We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages...
Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extr...
Abstract. The development of computational logic since the introduction of Frege’s modern logic in 1...
AbstractIn theoretical computer science and mathematics the models of combinatory logic are of signi...
As computing capabilities are extending, the amount of source code to manage is inevitably becoming ...
This thesis concerns the development of a framework that facilitates the design and analysis of form...
This work introduces the theory of illative combinatory algebras, which is closely related to system...
Contains fulltext : 13276.pdf (publisher's version ) (Open Access
An introduction to the basic notions of propositional and predicate logic and special theories inclu...
This paper presents a case for the use of higher-order logic as a foundation for computational logic...
The purpose of this paper is to give some insights into the immense role of Frege’s first order logi...
Computational linguistics studies natural language in its various manifestations from a computationa...
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programmi...
Abstract. The views framework of Dinsdale-Young and others unifies several compositional techniques ...
Computational linguistics studies natural language in its various manifestations from a computationa...
We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages...