On Positive Relational Calculi

, , &
Logic Journal of the IGPL 15 (5-6):577-601 (2007)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzm054

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Normal natural deduction proofs (in classical logic).Wilfried Sieg & John Byrnes - 1998 - Studia Logica 60 (1):67-106.
Marginalia on sequent calculi.A. S. Troelstra - 1999 - Studia Logica 62 (2):291-303.
Cuts, Gluts and Gaps.Vincent Degauquier - 2012 - Logique Et Analyse 55 (218):229-240.
Labeled sequent calculi for modal logics and implicit contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.
Complexity of interpolation and related problems in positive calculi.Larisa Maksimova - 2002 - Journal of Symbolic Logic 67 (1):397-408.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
Foundations of a theorem prover for functional and mathematical uses.Javier Leach & Susana Nieva - 1993 - Journal of Applied Non-Classical Logics 3 (1):7-38.
Gaggles, Gentzen and Galois: how to display your favourite substructural logic.R. Gore - 1998 - Logic Journal of the IGPL 6 (5):669-694.
The positive effect of green intellectual capital on competitive advantages of firms.Yu-Shan Chen - 2008 - Journal of Business Ethics 77 (3):271 - 286.
The Functional Interpretation of the Existential Quantifier.Ruy B. de Queiroz & Dov Gabbay - 1995 - Logic Journal of the IGPL 3 (2-3):243-290.
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.Paulo Mateus, João Rasga & Cristina Sernadas - 2005 - Logic Journal of the IGPL 13 (2):173-199.
On vague notions and modalities: a modular approach.Paulo Veloso, Sheila Veloso, Petrúcio Viana, Renata de Freitas & Mario Benevides - 2010 - Logic Journal of the IGPL 18 (3):381-402.
Non‐elementary speed‐ups in logic calculi.Toshiyasu Arai - 2008 - Mathematical Logic Quarterly 54 (6):629-640.
Indirect-deduction theorems.S. J. Surma - 1967 - Studia Logica 20 (1):164-166.
Hypersequent and Display Calculi – a Unified Perspective.Agata Ciabattoni, Revantha Ramanayake & Heinrich Wansing - 2014 - Studia Logica 102 (6):1245-1294.

Analytics

Added to PP
2015-02-04

Downloads
14 (#961,492)

6 months
8 (#352,434)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references