Name
Abstract | ||
|---|---|---|
. In this paper we introduce the logic PHOL, which embodies higher-orderfunctions through a simply-typed -calculus and deals with partial objects by usingpartially ordered domains and three truth values. We define a refutationally completetableaux method for PHOL and we show how to derive a sound and complete cut freesequent calculus through a systematic analysis of the rules for tableaux construction.1 IntroductionThe formal methodologies used for the specification and verification of... |
Year | DOI | Venue |
|---|---|---|
1992 | 10.1007/3-540-56992-8_12 | CSL |
Keywords | Field | DocType |
higher order partial functions,higher order | Discrete mathematics,Algebra,Computer science,Truth value,Sequent calculus,Partial function | Conference |
ISBN | Citations | PageRank |
3-540-56992-8 | 1 | 0.37 |
References | Authors | |
13 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Antonio Gavilanes-Franco | 1 | 7 | 1.69 |
| Francisca Lucio-Carrasco | 2 | 3 | 1.26 |
| Mario Rodríguez-Artalejo | 3 | 716 | 59.70 |