What is a logic, and what is a proof?

What is a logic, and what is a proof? (2006)

Cached

Download Links

by Lutz Straßburger

Venue:	VERSION FOR THE SECOND EDITION OF “LOGICA UNIVERSALIS”
Citations:	3 - 0 self

BibTeX

@MISC{Straßburger06whatis,
    author = {Lutz Straßburger},
    title = {What is a logic, and what is a proof?},
    year = {2006}
}

Bookmark

OpenURL

Abstract

Citations

1008	Actors: a model of concurrent computation in distributed systems - Agha - 1986
375	Viewing control structures as patterns of passing messages - Hewitt - 1977
341	An object calculus for asynchronous communication - Honda, Tokoro - 1991
272	Computational interpretations of linear logic - Abramsky - 1993
231	The reflexive chemical abstract machine and the join-calculus - Fournet, Gonthier - 1996
156	FACILE: A symmetric integration of Concurrent and Functional Programming - Giacalone, Mishra, et al. - 1989
132	Proofs and Types, volume 7 of Cambridge Tracts - Girard, Lafont, et al. - 1988
119	Interaction categories and the foundations of typed concurrent programming - Abramsky, Gay, et al. - 1996
91	linear Lisp – ’Look Ma, no garbage - Baker, Lively - 1992
90	A pi-calculus semantics for an object-based design notation - Jones
87	A deductive solution for plan generation - Bibel - 1986
77	A sort inference algorithm for the polyadic -calculus - Gay - 1993
55	A typed calculus of synchronous processes - Gay, Nagarajan - 1995
49	Motoki Nakade, and Akinori Yonezawa. Static analysis of communication for asynchronous concurrent programming languages - Kobayashi
48	Types for dydadic interaction - Honda - 1993
44	Lolli: An extension of Prolog with linear context management - Hodas - 1992
42	Deep Inference and Symmetry for Classical Proofs - Brünnler - 2003
41	autonomous categories, volume 752 - Barr - 1979
41	Brünnler and Alwen Fernanto Tiu. A local system for classical logic - Kai - 2001
29	Refutations by matings - Andrews - 1976
9	logic, coherence and dinaturality - Linear - 1993