On a Problem of Friedman and its Solution by Rybakov

Bulletin of Symbolic Logic:1-48 (forthcoming)
  Copy   BIBTEX

Abstract

Rybakov (1984a) proved that the admissible rules of IPC are decidable. We give a proof of the same theorem, using the same core idea, but couched in the many notions that have been developed in the mean time. In particular, we illustrate how the argument can be interpreted as using refinements of the notions of exactness and extendibility.

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2020.43

Links

PhilArchive



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

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

Logical equations and admissible rules of inference with parameters in modal provability logics.V. V. Rybakov - 1990 - Studia Logica 49 (2):215 - 239.
A simple solution to Friedman's fourth problem.Xavier Caicedo - 1986 - Journal of Symbolic Logic 51 (3):778-784.
On a problem of H. Friedman and its solution by T. Prucnal.P. Wojtylak - 2004 - Reports on Mathematical Logic:69-86.
Rules of inference with parameters for intuitionistic logic.Vladimir V. Rybakov - 1992 - Journal of Symbolic Logic 57 (3):912-923.
On the solution of the Luttinger-Tisza problem for magnetic systems.Z. Friedman & J. Felsteiner - 1974 - Philosophical Magazine 29 (4):957-960.
On Sequences of Degrees of Constructibility (Solution of Friedman'S Problem 75).Bohuslav Balcar & Petr Hájek - 1978 - Mathematical Logic Quarterly 24 (19‐24):291-296.
A new statistical solution to the generality problem.Samuel Kampa - 2018 - Episteme 15 (2):228-244.
Is there a well-founded solution to the generality problem?Jonathan D. Matheson - 2015 - Philosophical Studies 172 (2):459-468.
Thomson's Trolley Problem.Peter Graham - 2017 - Journal of Ethics and Social Philosophy 12 (2):168-190.
The bayesian treatment of auxiliary hypotheses.Michael Strevens - 2001 - British Journal for the Philosophy of Science 52 (3):515-537.
Das strukturalistische Problem der theoretischen Begriffe und seine Lösung.Hanspeter Rings - 1987 - Zeitschrift Für Allgemeine Wissenschaftstheorie 18 (1-2):296-312.
A Gruesome Problem for the Curve-Fitting Solution.Scott DeVito - 1997 - British Journal for the Philosophy of Science 48 (3):391-396.
Why Function Indeterminacy is Still a Problem for Biomedicine, and How Seeing Functional Items as Components of Mechanisms Can Solve it.Justin Garson - unknown
Kant’s Response to Hume in the Second Analogy: A Critique of Gerd Buchdahl’s and Michael Friedman’s Accounts.Saniye Vatansever - 2018 - Hopos: The Journal of the International Society for the History of Philosophy of Science 8 (2):310–346.
Review: Sy. D. Friedman, $beta$-Recursion Theory; Sy D. Friedman, Post's Problem without Admissibility. [REVIEW]Steven Homer - 1981 - Journal of Symbolic Logic 46 (3):664-665.

Analytics

Added to PP
2020-10-06

Downloads
25 (#628,404)

6 months
10 (#261,437)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references