Braüner, Torben
Overview
Works:  23 works in 63 publications in 4 languages and 498 library holdings 

Genres:  Handbooks and manuals 
Roles:  Author, Editor 
Classifications:  BC199.M6, 164.08 
Publication Timeline
.
Most widely held works by
Torben Braüner
Hybrid logic and its prooftheory by
Torben Braner(
Book
)
23 editions published between 2007 and 2011 in 4 languages and held by 68 WorldCat member libraries worldwide
Hybrid Logic and its ProofTheory demonstrates that hybridlogical prooftheory remedies the lack of uniformity in ordinary modallogical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic
23 editions published between 2007 and 2011 in 4 languages and held by 68 WorldCat member libraries worldwide
Hybrid Logic and its ProofTheory demonstrates that hybridlogical prooftheory remedies the lack of uniformity in ordinary modallogical proof systems. Various versions and proof systems for hybrid logic are considered, providing a detailed overview of the topic
Cutelimination for full intuitionistic linear logic by
Torben Braner(
Book
)
4 editions published in 1996 in English and held by 9 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 exponentialfree) 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."
4 editions published in 1996 in English and held by 9 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 exponentialfree) 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
5 editions published in 2006 in English and held by 9 WorldCat member libraries worldwide
Towards constructive hybrid logic by
Torben Braner(
Book
)
3 editions published in 2003 in English and held by 4 WorldCat member libraries worldwide
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
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 Braner(
Book
)
5 editions published between 1993 and 1994 in English and held by 3 WorldCat member libraries worldwide
5 editions published between 1993 and 1994 in English and held by 3 WorldCat member libraries worldwide
Papers on time and tense by
A. N Prior(
Book
)
2 editions published between 2002 and 2003 in English and held by 3 WorldCat member libraries worldwide
2 editions published between 2002 and 2003 in English and held by 3 WorldCat member libraries worldwide
Introduction to linear logic by
Torben Braner(
Book
)
3 editions published in 1996 in English and held by 3 WorldCat member libraries worldwide
3 editions published in 1996 in English and held by 3 WorldCat member libraries worldwide
Preliminary proceedings of the 6th Workshop on methods for modalities (M4M6)(
Book
)
1 edition published in 2009 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 2009 in English and held by 2 WorldCat member libraries worldwide
6th workshop on Methods for Modalities (M4M6)(
Book
)
1 edition published in 2009 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 2009 in English and held by 2 WorldCat member libraries worldwide
An axiomatic approach to adequacy by
Torben Braner(
Book
)
2 editions published in 1996 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 1996 in English and held by 2 WorldCat member libraries worldwide
The Girard Translation Extended with Recursion by
Torben Braner(
Book
)
2 editions published in 1995 in English and held by 1 WorldCat member library worldwide
2 editions published in 1995 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
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
1 edition published in 1994 in English and held by 1 WorldCat member library worldwide
DAIMI IR. A model of intuitionistic affine logic from stable domain theory(
Book
)
1 edition published in 1993 in Multiple languages and held by 1 WorldCat member library worldwide
1 edition published in 1993 in Multiple languages and held by 1 WorldCat member library worldwide
Datalogiske skrifter. Towards constructive hybrid logic(
)
in English and held by 1 WorldCat member library worldwide
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
1 edition published in 2012 in English and held by 1 WorldCat member library worldwide
BRICS dissertation series. An axiomatic approach to adequacy(
Book
)
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
BRICS report series. Cutelimination for full intuitionistic linear logic(
)
in English and held by 1 WorldCat member library worldwide
in English and held by 1 WorldCat member library worldwide
Hybrid logic : dedicated to the memory of Volker Weber(
Book
)
1 edition published in 2009 in English and held by 1 WorldCat member library worldwide
1 edition published in 2009 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 De Paiva, Valeria
 SpringerLink (Service en ligne)
 Bolander, Thomas Editor
 Hasle, Per Editor
 hrstrm, Peter Editor
 De Paiva, Valeria
 Gabbay, Murdoch J.
 Roskilde Universitetscenter Institut for Geografi, Samfundsanalyse og Datalogi Datalogisk Afdeling
 Guenthner, Franz Editor
 Gabbay, Dov M. 1945 Editor
Alternative Names
Braner, T.
Braner, T. (Torben)
Languages
Covers