The Size of a Formula as a Measure of Complexity

&
In Åsa Hirvonen, Juha Kontinen, Roman Kossak & Andrés Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 193-214 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1515/9781614516873.193

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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

Incomplete Contracts and Complexity Costs.Luca Anderlini & Leonardo Felli - 1999 - Theory and Decision 46 (1):23-50.
A note on propositional proof complexity of some Ramsey-type statements.Jan Krajíček - 2011 - Archive for Mathematical Logic 50 (1-2):245-255.
Schoonheid in de wiskunde: Birkhoff revisited.J. P. Van Bendegem - 1998 - Tijdschrift Voor Filosofie 60 (1):106-130.
Effective complexity as a measure of information content.James W. McAllister - 2003 - Philosophy of Science 70 (2):302-307.
Program Size Complexity for Possibly Infinite Computations.Verónica Becher, Santiago Figueira, André Nies & Silvana Picchi - 2005 - Notre Dame Journal of Formal Logic 46 (1):51-64.
Reachability logic: an efficient fragment of transitive closure logic.N. Alechina & N. Immerman - 2000 - Logic Journal of the IGPL 8 (3):325-337.
On meta complexity of propositional formulas and propositional proofs.Pavel Naumov - 2008 - Archive for Mathematical Logic 47 (1):35-52.
Monotone Proofs of the Pigeon Hole Principle.R. Gavalda, A. Atserias & N. Galesi - 2001 - Mathematical Logic Quarterly 47 (4):461-474.
Strong measure zero sets without Cohen reals.Martin Goldstern, Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (4):1323-1341.
Is multi-tasking complex?W. Bentley MacLeod - 1998 - Behavioral and Brain Sciences 21 (6):840-841.
A note on the complexity of Boolean concepts.R. Vigo - unknown
An intersubjective measure of organizational complexity: A new approach to the study of complexity in organizations.Mihnea Moldoveanu - 2004 - Emergence: Complexity and Organization 6 (3).
Visualizing space–time dynamics in scaling systems.Michael Batty - 2010 - Complexity 16 (2):51-63.
Y = 2x vs. Y = 3x.Alexei Stolboushkin & Damian Niwiński - 1997 - Journal of Symbolic Logic 62 (2):661-672.
$Y = 2x$ vs. $y = 3x$.Alexei Stolboushkin & Damian Niwinski - 1997 - Journal of Symbolic Logic 62 (2):661-672.

Analytics

Added to PP
2015-03-31

Downloads
25 (#635,790)

6 months
7 (#437,422)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Jouko A Vaananen
University of Helsinki

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references