|
3
|
Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
– Dominic J. D. Hughes
- 2006
|
|
2
|
ON THE AXIOMATISATION OF BOOLEAN CATEGORIES WITH AND WITHOUT MEDIAL
– Lutz Strassburger
|
|
11
|
On the Axiomatisation of Boolean Categories with and without Medial
– Lutz Straßburger
- 2005
|
|
18
|
From proof nets to the free *- autonomous category
– François Lamarche, Lutz Strassburger
- 2005
|
|
2
|
External and internal syntax of the λ-calculus
– Masahiko Sato, Randy Pollack
|
|
|
Canonical proof nets for classical logic
– Richard Mckinley
|
|
|
Substitution for Fraenkel-Mostowski foundations
– Murdoch J. Gabbay, Michael J. Gabbay
|
|
3
|
Hilbert’s “Verunglückter Beweis,” the first epsilon theorem and consistency proofs. History and Philosophy of Logic
– Richard Zach
|
|
|
Algebra of Logic, Quantification Theory, and the Square of Opposition ∗
– Volker Peckhaus, Universität Paderborn
|
|
|
Definite Descriptions and Quantifier Scope: Some Mates Cases Reconsidered ∗
– Michael Glanzberg
|
|
7
|
Graph fibrations, graph isomorphism, and PageRank
– Paolo Boldi, Violetta Lonati, Massimo Santini, Sebastiano Vigna
|
|
18
|
Fibrations of Graphs
– Paolo Boldi, Sebastiano Vigna
- 1996
|
|
12
|
Connection Methods in Linear Logic and Proof Nets Construction
– D. Galmiche
- 1999
|
|
53
|
A Brief Guide to Linear Logic
– Andre Scedrov
- 1993
|
|
3
|
Two paradigms of logical computation in Affine Logic?
– G. Bellin
- 2001
|
|
2
|
Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits, Technical report, n o 5409
– Sylvain Pogodalla, Christian Retoré, Thème Sym, Sylvain Pogodalla, Christian Retoré, Projets Calligramme Et Signes
|
|
10
|
First Order Linear Logic in Symmetric Monoidal Closed Categories
– Simon John Ambler
- 1991
|
|
4
|
An Australian conspectus of higher categories
– Ross Street
- 2004
|
|
7
|
A Dialectica Model of the Lambek Calculus
– Valeria de Paiva, De Paiva, J. Lambek In ([lam
|
