On Positive Relational Calculi

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.1

• Type: Journal
• Year: 2007
• Where: IGPL
• Authors: Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrúcio Viana
• Keywords: IGPL 2007, Inclusions, Positive Relational Terms, Possible Approaches