On the number of variables required for proofs

, &
Journal of Symbolic Logic 67 (1):197-213 (2002)
  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,164

External links

  • This entry has no external links. Add one.
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

Provability with finitely many variables.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Bulletin of Symbolic Logic 8 (3):348-379.
Relation algebra reducts of cylindric algebras and an application to proof theory.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Journal of Symbolic Logic 67 (1):197-213.
Relation algebras of every dimension.Roger D. Maddux - 1992 - Journal of Symbolic Logic 57 (4):1213-1229.
Quantified propositional logic and the number of lines of tree-like proofs.Alessandra Carbone - 2000 - Studia Logica 64 (3):315-321.
On the Number of Experiments Sufficient and in the Worst Case Necessary to Identify All Causal Relations Among N Variables.Clark Glymour & Richard Scheines - unknown
Number versus continuous quantity in numerosity judgments by fish.Christian Agrillo, Laura Piffer & Angelo Bisazza - 2011 - Cognition 119 (2):281-287.
4:00 P.m., F Sep 20.Harvey Friedman - manuscript
Some remarks on lengths of propositional proofs.Samuel R. Buss - 1995 - Archive for Mathematical Logic 34 (6):377-394.
Counting proofs in propositional logic.René David & Marek Zaionc - 2009 - Archive for Mathematical Logic 48 (2):185-199.
Number of variables is equivalent to space.Neil Immerman, Jonathan F. Buss & David A. Mix Barrington - 2001 - Journal of Symbolic Logic 66 (3):1217-1230.
All the Bell Inequalities.Asher Peres - 1999 - Foundations of Physics 29 (4):589-614.
The role of diagrams in mathematical arguments.David Sherry - 2008 - Foundations of Science 14 (1-2):59-74.
Probabilistic proofs and transferability.Kenny Easwaran - 2009 - Philosophia Mathematica 17 (3):341-362.
The effect of context variables on cognitive effort in multiattribute binary choice.S. Iglesias-Parro, E. I. De la Fuente & A. R. Ortega - 2002 - Theory and Decision 52 (2):101-125.

Analytics

Added to PP
2014-03-24

Downloads
23 (#637,895)

6 months
1 (#1,428,112)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Amalgamation Theorems in Algebraic Logic, an overview.Tarek Sayed-Ahmed - 2005 - Logic Journal of the IGPL 13 (3):277-286.

Add more citations

References found in this work

No references found.

Add more references