Admissibility in a Logical Framework

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive

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

  • Only published works are available at libraries.

My notes

Similar books and articles

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property.Vladimir V. Rybakov - 1994 - Studia Logica 53 (2):203 - 225.
Common reasoning about admissibility.Cristina Bicchieri & Oliver Schulte - 1996 - Erkenntnis 45 (2-3):299 - 325.
Formalised cut admissibility for display logic.Rajeev Gore - manuscript
Admissibility of structural rules for contraction-free systems of intuitionistic logic.Roy Dyckhoff & Sara Negri - 2000 - Journal of Symbolic Logic 65 (4):1499-1518.
Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules. [REVIEW]Marcus Kracht - 1999 - Notre Dame Journal of Formal Logic 40 (4):578-587.
Formalised Cut Admissibility for Display Logic.Jeremy E. Dawson - unknown
A Logical Choice.Tracy Lupher - 2012 - Southwest Philosophy Review 28 (1):237-246.
The admissibility of $\gamma$ in ${\rm R}4$.Edwin D. Mares & Robert K. Meyer - 1992 - Notre Dame Journal of Formal Logic 33 (2):197-206.
Inversion by definitional reflection and the admissibility of logical rules.Wagner Campos Sanz & Thomas Piecha - 2009 - Review of Symbolic Logic 2 (3):550-569.
Rules of inference with parameters for intuitionistic logic.Vladimir V. Rybakov - 1992 - Journal of Symbolic Logic 57 (3):912-923.
Rationalizing two-tiered choice functions through conditional choice.Jeffrey Helzner - 2013 - Synthese 190 (6):929-951.
Substitution of indifferent options at choice nodes and admissibility: a reply to Rabinowicz.Teddy Seidenfeld - 2000 - Theory and Decision 48 (4):305-310.
Extensions of expected utility theory and some limitations of pairwise comparisons.Teddy Seidenfeld - unknown

Analytics

Added to PP
2013-08-24

Downloads
374 (#53,429)

6 months
51 (#87,889)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.

Add more references