Questions and answers–a category arising in linear logic, complexity theory, and set theory

In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in Linear Logic. Cambridge University Press. pp. 222--61 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Category theory for linear logicians.Richard Blute & Philip Scott - 2004 - In Thomas Ehrhard (ed.), Linear Logic in Computer Science. Cambridge University Press. pp. 316--3.
Order algebras as models of linear logic.Constantine Tsinakis & Han Zhang - 2004 - Studia Logica 76 (2):201 - 225.
Explanation and the theory of questions.Charles B. Cross - 1991 - Erkenntnis 34 (2):237 - 260.
Kolmogorov complexity and information theory. With an interpretation in terms of questions and answers.Peter D. Grünwald & Paul M. B. Vitányi - 2003 - Journal of Logic, Language and Information 12 (4):497-529.
Computability, complexity, logic.Egon Börger - 1989 - New York, N.Y., U.S.A.: Elsevier Science Pub. Co..
Complexity and novelty: Reading mark C. Taylor.Flavia Monceri - 2005 - World Futures 61 (5):397 – 408.
Adding linear orders.Saharon Shelah & Pierre Simon - 2012 - Journal of Symbolic Logic 77 (2):717-725.
A logic of questions and answers.David Harrah - 1961 - Philosophy of Science 28 (1):40-46.
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
Complex systems theory and development practice: understanding non-linear realities.Samir Rihani - 2002 - New York: Zed Books.
Infinite Versions of Some Problems from Finite Complexity Theory.Jeffry L. Hirst & Steffen Lempp - 1996 - Notre Dame Journal of Formal Logic 37 (4):545-553.
On three arguments against categorical structuralism.Makmiller Pedroso - 2009 - Synthese 170 (1):21 - 31.

Analytics

Added to PP
2014-01-25

Downloads
27 (#542,098)

6 months
5 (#441,012)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

The structure of multiplicatives.Vincent Danos & Laurent Regnier - 1989 - Archive for Mathematical Logic 28 (3):181-203.

Add more references