Towards feasible solutions of the tautology problem

&
Annals of Mathematical Logic 10 (2):117-154 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1016/0003-4843(76)90020-6

Links

PhilArchive



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

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

Darwin’s Unkindly Variable: Fitness and the Tautology Problem.John S. Wilkins - manuscript
Lewis vs Lewis on the problem of the many.Dan López de Sa - 2014 - Synthese 191 (6):1105-1117.
Over de tautologie in wittgensteins „tractatus”.D. L. Couprie - 1964 - Tijdschrift Voor Filosofie 26 (1):106 - 139.
The structure of evolution by natural selection.Richmond Campbell & Jason Scott Robert - 2005 - Biology and Philosophy 20 (4):673-696.
A new problem of the many.Neil McKinnon - 2008 - Philosophical Quarterly 58 (230):80-97.
Is there a conservative solution to the many thinkers problem?David Mark Kovacs - 2010 - Ratio 23 (3):275-290.
Easy knowledge.Peter J. Markie - 2005 - Philosophy and Phenomenological Research 70 (2):406–416.
On second order intuitionistic propositional logic without a universal quantifier.Konrad Zdanowski - 2009 - Journal of Symbolic Logic 74 (1):157-167.
The Bootstrapping Problem.Jonathan Weisberg - 2012 - Philosophy Compass 7 (9):597-610.
Evolution.Roberta L. Millstein - 2001 - In Peter Machamer Michael Silberstein (ed.), The Blackwell Guide to the Philosophy of Science. Oxford, UK: Blackwell. pp. 227–251.
Relating decision and search algorithms for rational points on curves of higher genus.Minhyong Kim - 2003 - Archive for Mathematical Logic 42 (6):563-568.
The Subset View of Realization: Five Problems.Brandon N. Towl - manuscript
The Wisdom of the Crowd in Combinatorial Problems.Sheng Kung Michael Yi, Mark Steyvers, Michael D. Lee & Matthew J. Dry - 2012 - Cognitive Science 36 (3):452-470.
Generalizing the lottery paradox.Igor Douven & Timothy Williamson - 2006 - British Journal for the Philosophy of Science 57 (4):755-779.

Analytics

Added to PP
2014-01-17

Downloads
18 (#811,325)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Are tableaux an improvement on truth-tables?Marcello D'Agostino - 1992 - Journal of Logic, Language and Information 1 (3):235-252.
Spring Meeting of the Association for Symbolic Logic.Penelope Maddy - 1992 - Journal of Symbolic Logic 57 (1):366-371.
Exploiting Equivalences in Connection Calculi.Stefan Bruning - 1995 - Logic Journal of the IGPL 3 (6):857-886.

Add more citations

References found in this work

A Machine-Oriented Logic based on the Resolution Principle.J. A. Robinson - 1966 - Journal of Symbolic Logic 31 (3):515-516.
A Computing Procedure for Quantification Theory.Martin Davis & Hilary Putnam - 1966 - Journal of Symbolic Logic 31 (1):125-126.
The problem of simplifying logical expressions.B. Dunham & R. Fridshal - 1959 - Journal of Symbolic Logic 24 (1):17-19.

Add more references