WorldCat Identities

Braüner, Torben

Overview
Works: 22 works in 61 publications in 3 languages and 476 library holdings
Genres: Handbooks, manuals, etc  Conference proceedings 
Roles: Author, Editor
Classifications: BC199.M6, 164.08
Publication Timeline
.
Most widely held works by Torben Braüner
Hybrid logic and its proof-theory by Torben Braüner( )
23 editions published between 2007 and 2011 in 4 languages and held by 424 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
Cut-elimination for full intuitionistic linear logic by Torben Braüner( Book )
4 editions published in 1996 in English and held by 10 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 )
5 editions published in 2006 in English and held by 9 WorldCat member libraries worldwide
Towards constructive hybrid logic by Torben Braüner( Book )
3 editions published in 2003 in English and held by 4 WorldCat member libraries worldwide
Handbook of philosophical logic ( Book )
1 edition published in 2014 in English and held by 4 WorldCat member libraries worldwide
This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial intelligence. It shows how the increased demand for philosophical logic from computer science and artificial intelligence and computational linguistics accelerated the development of the subject directly and indirectly. This development in turn, directly pushed research forward, stimulated by the needs of applications. New logic areas became established and old areas were enriched and expanded. At the same time, it socially provided employment for generations of logicians residing in computer science, linguistics and electrical engineering departments which of course helped keep the logic community to thrive. The many contributors to this Handbook are active in these application areas and are among the most famous leading figures of applied philosophical logic of our times
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
6th workshop on Methods for Modalities (M4M-6) ( Book )
1 edition published in 2009 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
An axiomatic approach to adequacy by Torben Braüner( Book )
2 editions published in 1996 in English and held by 2 WorldCat member libraries worldwide
Datalogiske skrifter. Towards constructive hybrid logic ( )
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
Hybrid logic : dedicated to the memory of Volker Weber ( )
1 edition published in 2009 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 1 WorldCat member library worldwide
BRICS lecture series. Introduction to linear logic ( )
in English and held by 1 WorldCat member library worldwide
BRICS report series. Cut-elimination for full intuitionistic linear logic ( )
in English and held by 1 WorldCat member library worldwide
A General Adequacy Result for a Linear Functional Language ( Book )
1 edition published in 1994 in English and held by 1 WorldCat member library worldwide
BRICS report series. A general adequacy result for a linear functional language ( )
in English and held by 1 WorldCat member library worldwide
Advances in modal logic by Advances in modal logic( Book )
1 edition published in 2012 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.64 (from 0.00 for Towards co ... to 0.70 for Papers on ...)
Alternative Names
Braüner, T.
Braüner, T. (Torben)
Languages
English (56)
Danish (1)
Italian (1)
Covers