15 results
GÖDEL’S NOTRE DAME COURSE
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 4 / December 2016
- Published online by Cambridge University Press:
- 30 December 2016, pp. 469-481
- Print publication:
- December 2016
-
- Article
-
- You have access
- Export citation
REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 25 October 2016, pp. 145-157
- Print publication:
- March 2017
-
- Article
- Export citation
Shuffles and concatenations in the construction of graphs†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 22 / Issue 6 / December 2012
- Published online by Cambridge University Press:
- 30 October 2012, pp. 904-930
-
- Article
- Export citation
Coherence for monoidal monads and comonads†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 4 / August 2010
- Published online by Cambridge University Press:
- 27 May 2010, pp. 545-561
-
- Article
- Export citation
Coherence for monoidal endofunctors†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 4 / August 2010
- Published online by Cambridge University Press:
- 27 May 2010, pp. 523-543
-
- Article
- Export citation
Associativity as commutativity
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 217-226
- Print publication:
- March 2006
-
- Article
- Export citation
Identity of Proofs Based on Normalization and Generality
-
- Journal:
- Bulletin of Symbolic Logic / Volume 9 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 15 January 2014, pp. 477-503
- Print publication:
- December 2003
-
- Article
- Export citation
Generality of proofs and its Brauerian representation
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 740-750
- Print publication:
- September 2003
-
- Article
- Export citation
Greg Restall. An introduction to substructural logics. Routledge, London and New York 2000, xiv + 381 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 527-530
- Print publication:
- December 2001
-
- Article
- Export citation
On permuting cut with contraction
-
- Journal:
- Mathematical Structures in Computer Science / Volume 10 / Issue 2 / April 2000
- Published online by Cambridge University Press:
- 01 April 2000, pp. 99-136
-
- Article
- Export citation
Cartesian isomorphisms are symmetric monoidal: A justification of linear logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 227-242
- Print publication:
- March 1999
-
- Article
- Export citation
Isomorphic objects in symmetric monoidal closed categories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 7 / Issue 6 / December 1997
- Published online by Cambridge University Press:
- 01 December 1997, pp. 639-662
-
- Article
- Export citation
Deductive Completeness
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 243-283
- Print publication:
- September 1996
-
- Article
- Export citation
Uniqueness, definability and interpolation
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 2 / June 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 554-570
- Print publication:
- June 1988
-
- Article
- Export citation
Sequent-systems for modal logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 50 / Issue 1 / March 1985
- Published online by Cambridge University Press:
- 12 March 2014, pp. 149-168
- Print publication:
- March 1985
-
- Article
- Export citation