G-dinaturality

Annals of Pure and Applied Logic 122 (1-3):131-173 (2003)
  Copy   BIBTEX

Abstract

An extension of the notion of dinatural transformation is introduced in order to give a criterion for preservation of dinaturality under composition. An example of an application is given by proving that all bicartesian closed canonical transformations are dinatural. An alternative sequent system for intuitionistic propositional logic is introduced as a device, and a cut-elimination procedure is established for this system.

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(03)00003-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

A cut-elimination proof in intuitionistic predicate logic.Mirjana Borisavljević - 1999 - Annals of Pure and Applied Logic 99 (1-3):105-136.
A note on full intuitionistic linear logic.G. M. Bierman - 1996 - Annals of Pure and Applied Logic 79 (3):281-287.
Sufficient conditions for cut elimination with complexity analysis.João Rasga - 2007 - Annals of Pure and Applied Logic 149 (1-3):81-99.
Linear Läuchli semantics.R. F. Blute & P. J. Scott - 1996 - Annals of Pure and Applied Logic 77 (2):101-142.
Cut elimination for the unified logic.Jacqueline Vauzeilles - 1993 - Annals of Pure and Applied Logic 62 (1):1-16.
Completeness and cut-elimination theorems for trilattice logics.Norihiro Kamide & Heinrich Wansing - 2011 - Annals of Pure and Applied Logic 162 (10):816-835.
Z-modules and full completeness of multiplicative linear logic.Masahiro Hamano - 2001 - Annals of Pure and Applied Logic 107 (1-3):165-191.
Cut-Elimination and Quantification in Canonical Systems.Anna Zamansky & Arnon Avron - 2006 - Studia Logica 82 (1):157-176.
2-Sequent calculus: a proof theory of modalities.Andrea Masini - 1992 - Annals of Pure and Applied Logic 58 (3):229-246.
Normal deduction in the intuitionistic linear logic.G. Mints - 1998 - Archive for Mathematical Logic 37 (5-6):415-425.

Analytics

Added to PP
2014-01-16

Downloads
24 (#679,414)

6 months
12 (#243,143)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Bicartesian Coherence.Kosta Došen & Zoran Petrić - 2002 - Studia Logica 71 (3):331-353.
Bicartesian coherence.Kosta Došen & Zoran Petrić - 2002 - Studia Logica 71 (3):331 - 353.

Add more references