Abstract | ||
---|---|---|
In this paper we define a first-order logic with partial functions and three thruth values (true, false, undefined). We give semantical and proof theoretical motivations for our choice of the logical consequence relation. We also present a sound and complete sequent calculus and sketch a completeness proof which is based on a tableaux method. |
Year | DOI | Venue |
---|---|---|
1989 | 10.1007/BFb0028972 | STACS |
Keywords | Field | DocType |
first order logic,extended abstract,partial functions,sequent calculus | Discrete mathematics,Computer science,Minimal logic,Substructural logic,Zeroth-order logic,First-order logic,Predicate logic,Higher-order logic,Dynamic logic (modal logic),Intermediate logic | Conference |
ISBN | Citations | PageRank |
3-540-50840-6 | 2 | 0.55 |
References | Authors | |
6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francisca Lucio-Carrasco | 1 | 3 | 1.26 |
Antonio Gavilanes-Franco | 2 | 7 | 1.69 |