We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
On Positive Relational Calculi.
- Authors
de Freitas, Renata; Veloso, Paulo A. S.; Veloso, Sheila R. M.; Viana, Petrucio
- Abstract
We discuss the question of inclusions between positive relational terms and some of its aspects, using the form of a dialogue. Two possible approaches to the problem are emphasized: natural deduction and graph manipulations. Both provide sound and complete calculi for proving the valid inclusions, supporting nice strategies to obtain proofs in normal form, but the latter appears to present several advantages, which are discussed.
- Subjects
MATHEMATICAL analysis; INFINITESIMAL geometry; MANIPULATIVE behavior; LOGIC; MATHEMATICAL logic
- Publication
Logic Journal of the IGPL, 2007, Vol 15, Issue 5/6, p577
- ISSN
1367-0751
- Publication type
Article
- DOI
10.1093/jigpal/jzm054