WorldCat Identities

Braüner, Torben

Overview
Works: 17 works in 52 publications in 2 languages and 444 library holdings
Genres: Conference proceedings 
Roles: Editor
Classifications: BC199.M6, 164.08
Publication Timeline
Key
Publications about  Torben Braüner Publications about Torben Braüner
Publications by  Torben Braüner Publications by Torben Braüner
Most widely held works by Torben Braüner
Hybrid logic and its proof-theory by Torben Braüner ( )
17 editions published between 2010 and 2011 in English and Undetermined and held by 399 WorldCat member libraries worldwide
Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of uniformity in ordinary modal-logical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic
Hybrid logic and its proof-theory by Torben Braüner ( Book )
4 editions published between 2007 and 2009 in English and Danish and held by 11 WorldCat member libraries worldwide
Cut-elimination for full intuitionistic linear logic by Torben Braüner ( Book )
4 editions published in 1996 in English and held by 8 WorldCat member libraries worldwide
Abstract: "We describe in full detail a solution to the problem of proving the cut elimination theorem for FILL, a variant of (multiplicative and exponential-free) Linear Logic introduced by Hyland and de Paiva. Hyland and de Paiva's work used a term assignment system to describe FILL and barely sketched the proof of cut elimination. In this paper, as well as correcting a small mistake in their paper and extending the system to deal with exponentials, we introduce a different formal system describing the intuitionistic character of FILL and we provide a full proof of the cut elimination theorem. The formal system is based on a notion of dependency between formulae within a given proof and seems of independent interest. The procedure for cut elimination applies to (classical) multiplicative Linear Logic, and we can (with care) restrict our attention to the subsystem FILL. The proof, as usual with cut elimination proofs, is a little involved and we have not seen it published anywhere."
The logic of time and modality by Conference on the logic of time and modality ( Book )
4 editions published in 2006 in English and held by 7 WorldCat member libraries worldwide
A model of intuitionistic affine logic from stable domain theory by Torben Braüner ( Book )
5 editions published between 1993 and 1994 in English and held by 3 WorldCat member libraries worldwide
Introduction to linear logic by Torben Braüner ( Book )
3 editions published in 1996 in English and held by 3 WorldCat member libraries worldwide
Papers on time and tense by A. N Prior ( Book )
1 edition published in 2002 in English and held by 2 WorldCat member libraries worldwide
Towards constructive hybrid logic by Torben Braüner ( Book )
3 editions published in 2003 in English and held by 2 WorldCat member libraries worldwide
Preliminary proceedings of the 6th Workshop on methods for modalities (M4M-6) ( Book )
1 edition published in 2009 in English and held by 2 WorldCat member libraries worldwide
Hybrid logic : dedicated to the memory of Volker Weber ( )
1 edition published in 2009 in English and held by 1 WorldCat member library worldwide
Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009), Copenhagen, Denmark, 12-14 November 2009 by Workshop on Methods for Modalities ( )
1 edition published in 2010 in English and held by 1 WorldCat member library worldwide
6th workshop on Methods for Modalities (M4M-6) ( Book )
1 edition published in 2009 in English and held by 1 WorldCat member library worldwide
Advances in modal logic. [9ème conférence, Copenhague, 22-25 août 2012] by Advances in modal logic ( Book )
1 edition published in 2012 in English and held by 1 WorldCat member library worldwide
An axiomatic approach to adequacy by Torben Braüner ( Book )
2 editions published in 1996 in English and held by 1 WorldCat member library worldwide
The Girard Translation extended with recursion by Torben Braüner ( Book )
2 editions published in 1995 in English and held by 0 WorldCat member libraries worldwide
A general adequacy result for a linear functional language ( Book )
1 edition published in 1994 in English and held by 0 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.67 (from 0.00 for Introducti ... to 0.70 for Hybrid log ...)
Alternative Names
Braüner, T.
Braüner, T. (Torben)
Languages
English (50)
Danish (1)
Covers